Strongly typed heterogeneous collections

Oleg Kiselyov; Ralf Lämmel; Keean Schupke

doi:10.1145/1017472.1017488

Strongly typed heterogeneous collections

Oleg Kiselyov, Ralf Lämmel, Keean Schupke

INF - Computer and Mathematical Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

98 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04
Publisher	Association for Computing Machinery
Pages	96-107
Number of pages	12
ISBN (Print)	1581138504, 9781581138504
DOIs	https://doi.org/10.1145/1017472.1017488
Publication status	Published - 2004
Event	Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04 - Snowbird, UT, United States Duration: 2004 Sep 22 → 2004 Sep 22

Publication series

Name	Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04

Other

Other	Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04
Country	United States
City	Snowbird, UT
Period	04/9/22 → 04/9/22

Keywords

Collections
Dependently typed programming
Extensible records
Haskell
Type equality
Type improvement
Type-indexed rows
Type-safe database access

ASJC Scopus subject areas

Engineering(all)

Access to Document

10.1145/1017472.1017488

Cite this

Kiselyov, O., Lämmel, R., & Schupke, K. (2004). Strongly typed heterogeneous collections. In Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04 (pp. 96-107). (Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04). Association for Computing Machinery. https://doi.org/10.1145/1017472.1017488

Kiselyov, O, Lämmel, R & Schupke, K 2004, Strongly typed heterogeneous collections. in Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04. Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04, Association for Computing Machinery, pp. 96-107, Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04, Snowbird, UT, United States, 04/9/22. https://doi.org/10.1145/1017472.1017488

@inproceedings{69aa5bb9b44c464bbc01159d8aaec6cc,

title = "Strongly typed heterogeneous collections",

abstract = "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.",

keywords = "Collections, Dependently typed programming, Extensible records, Haskell, Type equality, Type improvement, Type-indexed rows, Type-safe database access",

author = "Oleg Kiselyov and Ralf L{\"a}mmel and Keean Schupke",

year = "2004",

doi = "10.1145/1017472.1017488",

language = "English",

isbn = "1581138504",

series = "Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04",

publisher = "Association for Computing Machinery",

pages = "96--107",

booktitle = "Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04",

note = "Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04 ; Conference date: 22-09-2004 Through 22-09-2004",

}

TY - GEN

T1 - Strongly typed heterogeneous collections

AU - Kiselyov, Oleg

AU - Lämmel, Ralf

AU - Schupke, Keean

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

KW - Collections

KW - Dependently typed programming

KW - Extensible records

KW - Haskell

KW - Type equality

KW - Type improvement

KW - Type-indexed rows

KW - Type-safe database access

UR - http://www.scopus.com/inward/record.url?scp=11244320503&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=11244320503&partnerID=8YFLogxK

U2 - 10.1145/1017472.1017488

DO - 10.1145/1017472.1017488

M3 - Conference contribution

AN - SCOPUS:11244320503

SN - 1581138504

SN - 9781581138504

T3 - Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04

SP - 96

EP - 107

BT - Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04

PB - Association for Computing Machinery

T2 - Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04

Y2 - 22 September 2004 through 22 September 2004

ER -