Personal tools

Extensible record

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(add link to "Extensible records with scoped labels")
m (HaskellDB: The link to HaskellDB#Future was broken. Now having fixed)
Line 25: Line 25:
 
* which presupposes reading also paper on the [http://www.haskell.org/haskellDB/ Daam Leijen's original HaskellDB] page (see [http://www.haskell.org/haskellDB/doc.html Documentation subpage], PostScript version)
 
* which presupposes reading also paper on the [http://www.haskell.org/haskellDB/ Daam Leijen's original HaskellDB] page (see [http://www.haskell.org/haskellDB/doc.html Documentation subpage], PostScript version)
   
[[Libraries and tools/Database interfaces/HaskellDB|HaskellDB]] uses its own extensible record sytem, but see also [[Libraries and tools/Database interfaces#Future/HaskellDB|HaskellDB#Future]].
+
[[Libraries and tools/Database interfaces/HaskellDB|HaskellDB]] uses its own extensible record sytem, but see also [[Libraries and tools/Database interfaces/HaskellDB#Future|HaskellDB#Future]].
   
 
==== CoddFish ====
 
==== CoddFish ====

Revision as of 21:09, 16 June 2006

Contents


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

1 Papers and libraries

2 Applications

2.1 Declarative database management

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

2.1.1 HaskellDB

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.

2.1.2 CoddFish

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