Personal tools

Extensible record

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (Morrow interpreter seems to be unavailable for download)
m (typographic: is > its)
Line 12: Line 12:
 
* Didier Remy's [http://www.cs.uu.nl/wiki/Uhc/ErikKnoop#Typing_record_concatenation_for Typing record concatenation for free] on Erik Knoop's page
 
* Didier Remy's [http://www.cs.uu.nl/wiki/Uhc/ErikKnoop#Typing_record_concatenation_for Typing record concatenation for free] on Erik Knoop's page
 
* Benedict R. Gaster, Mark P. Jones: [http://citeseer.ist.psu.edu/gaster96polymorphic.html A Polymorphic Type System for Extensible Records and Variants]
 
* Benedict R. Gaster, Mark P. Jones: [http://citeseer.ist.psu.edu/gaster96polymorphic.html A Polymorphic Type System for Extensible Records and Variants]
* [http://www.comp.nus.edu.sg/~sulzmann/chameleon/ Chameleon], a Haskell-like language, see is [http://www.comp.nus.edu.sg/~sulzmann/chameleon/download/haskell.html#record records]
+
* [http://www.comp.nus.edu.sg/~sulzmann/chameleon/ Chameleon], a Haskell-like language, see its [http://www.comp.nus.edu.sg/~sulzmann/chameleon/download/haskell.html#record records]

Revision as of 10:53, 16 March 2006

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

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

See also