Difference between revisions of "Applications and libraries/Database interfaces/HaskellDB"
EndreyMark (talk | contribs) (→Future: Referring to CoddFish (because also it uses HLIst, too)) |
EndreyMark (talk | contribs) m (Renaming headline ``Appendix'' to →Related concepts: , because I prefer functional names to structural ones) |
||
Line 28: | Line 28: | ||
To explore other declarative, type safe database managament approaches, see [[../CoddFish|CoddFish]]. Also it uses [http://homepages.cwi.nl/~ralf/HList/ HList]. |
To explore other declarative, type safe database managament approaches, see [[../CoddFish|CoddFish]]. Also it uses [http://homepages.cwi.nl/~ralf/HList/ HList]. |
||
− | == |
+ | == Related concepts == |
+ | |||
Concepts which are concerned by the papers of the two official HaskellDB homes |
Concepts which are concerned by the papers of the two official HaskellDB homes |
||
* [[Extensible record]] |
* [[Extensible record]] |
Revision as of 19:11, 16 June 2006
Introduction
A combinator library for declarative, type safe database management. A domain specific embedded language, containing the concept of extensible record and a special Query monad (among other powerful ideas, see #Appendix).
Homes
Daan Leijen's original version
It makes possible to use Haskell's typecheck system for a type-safe, declarative database management -- a combinator library. It can prevent the user even from using multiple labels in the same record, but the price for this: it needs a special extension of Haskell called Trex (providing extensible records).
Chalmers version
A student project by Björn Bringert, Anders Höckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist, Torbjörn Martin.
It works well with the most common Haskell implementations, because extensible records (without check for multiple labels) are implemented in a way which does not need the Trex extension of Haskell.
See also Björn Bringert's slides HaskellDB -- Type safe declarative database combinators.
Other materials
ICS Wiki
ICS Wiki is a huge resource of Haskell materials (among others).
- Database programming with HaskellDB -- a PDF file (slides). A webpage containing a link to it (among others): the bottom (attachment part) of the Domain Specific Languages page of ICS Wiki.
- There are other links to HaskellDB materials in the HaskellDB section of the same page.
Future
HList --- a Haskell library for strongly typed heterogeneous collections includes also extensible records. Its relatedness to database programming is described in the articles, see also its possible relatedness to HaskellDB project.
To explore other declarative, type safe database managament approaches, see CoddFish. Also it uses HList.
Related concepts
Concepts which are concerned by the papers of the two official HaskellDB homes