Extensible record

From HaskellWiki
Revision as of 19:47, 16 June 2006 by EndreyMark (talk | contribs) (CoddFish: new section added (referring to CoddFish), and as a consequence, restructuring section strucure, adding table of contents)

Jump to: navigation, search

Proposals, implementations can be found on the FirstClassLabels page of Haskell' Wiki.

Papers and libraries


Declarative database management

Such systems can achive more type safety (compared to direct SQL handling).


A problem where some concepts of extensible records could be useful is described in the HaskellDB project. More precisely, the problem is described in the paper downloadable from

HaskellDB uses its own extensible record sytem, but see also HaskellDB#Future.


CoddFish is another declaratice, type safe database system. As for extensible record system, it uses HList --- a Haskell library for strongly typed heterogeneous collections.