Strongly typed heterogeneous collections

Oleg Kiselyov, Ralf Lämmel, Keean Schupke

研究成果: Conference contribution

103 被引用数 (Scopus)

抄録

A heterogeneous collection is a datatype that is capable of storing data of different types, while providing operations for look-up, update, iteration, and others. There are various kinds of heterogeneous collections, differing in representation, invariants, and access operations. We describe HLIST - a Haskell library for strongly typed heterogeneous collections including extensible records. We illustrate HLIST's benefits in the context of type-safe database access in Haskell. The HLIST library relies on common extensions of Haskell 98. Our exploration raises interesting issues regarding Haskell's type system, in particular, avoidance of overlapping instances, and reification of type equality and type unification.

本文言語English
ホスト出版物のタイトルProceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04
出版社Association for Computing Machinery
ページ96-107
ページ数12
ISBN(印刷版)1581138504, 9781581138504
DOI
出版ステータスPublished - 2004
外部発表はい
イベントProceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04 - Snowbird, UT, United States
継続期間: 2004 9 222004 9 22

出版物シリーズ

名前Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04

Other

OtherProceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04
国/地域United States
CitySnowbird, UT
Period04/9/2204/9/22

ASJC Scopus subject areas

  • 工学(全般)

引用スタイル