(A link back to Libraries and tools/Database interfaces/HaskellDB -- the problem described in the pointed-to page can bee seen as a case study)
(Adding link to HList, mentioning its relatedness to database prgramming, and also Port HaskellDB to HList project)
Revision as of 00:02, 25 April 2006
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
- Chalmers version of HaskellDB (see Papers subsection on Documentation)
- which presupposes reading also paper on the Daam Leijen's original HaskellDB page (see Documentation subpage, PostScript version)
Proposals, implementations can be found on the FirstClassLabels page of Haskell' Wiki.
- HList --- a Haskell library for strongly typed heterogeneous collections includes also extensible records. Its relatedness to database programming is described in the articles, se also its possible relatedness to HaskellDB project.
- Daan Leijen: First-class labels for extensible rows. See also the description of the Haskell-like language Morrow, it is based on the concepts of the article.
- Simon Peyton Jones and Greg Morrisett: A proposal for records in Haskell
- Mark Jones and Simon Peyton Jones: Lightweight Extensible Records for Haskell
- Mark P. Jones: A prototype implementation of extensible records for Hugs
- Didier Remy's Typing record concatenation for free on Erik Knoop's page
- Benedict R. Gaster, Mark P. Jones: A Polymorphic Type System for Extensible Records and Variants
- Chameleon, a Haskell-like language, see its records