Difference between revisions of "Extensible record"

Revision as of 21:31, 8 March 2006

A problem where some concepts of extensible records could be useful is described in the HaskellDB project:

updated page (see Papers subsection on Documentation)
which presupposes reading also paper on the original page (see Documentation subpage, PostScript version)

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

See also

Daan Leijen: First-class labels for extensible rows. To study the concepts of the article by experimentation, see the implemented Haskell-like language: Morrow
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 is records

@@ Line 6: / Line 6: @@
 See also
-* Daan Leijen: [http://www.cs.uu.nl/~daan/pubs.html#fclabels First-class labels for extensible rows]
+* Daan Leijen: [http://www.cs.uu.nl/~daan/pubs.html#fclabels First-class labels for extensible rows]. To study the concepts of the article by experimentation, see the implemented Haskell-like language: [http://www.cs.uu.nl/~daan/morrow/ Morrow]
 * Simon Peyton Jones and Greg Morrisett: [http://research.microsoft.com/~simonpj/Haskell/records.html  A proposal for records in Haskell]
 * Mark Jones and Simon Peyton Jones: [http://research.microsoft.com/~simonpj/Papers/records.htm Lightweight Extensible Records for Haskell]