Personal tools

Applications and libraries/Database interfaces/HaskellDB

From HaskellWiki

< Applications and libraries | Database interfaces(Difference between revisions)
Jump to: navigation, search
(Adding the same text on HLIst to here, too)
(Mentioning project Port HaskellDB to HList comes under headline - Future)
Line 22: Line 22:
 
* There are other links to HaskellDB materials in the [http://abaris.zoo.cs.uu.nl:8080/wiki/Afp/DomainSpecificLanguages#4_Haskell_DB HaskellDB section of the same page].
 
* There are other links to HaskellDB materials in the [http://abaris.zoo.cs.uu.nl:8080/wiki/Afp/DomainSpecificLanguages#4_Haskell_DB HaskellDB section of the same page].
   
=== Database programming with extensible records ===
+
== Future ==
   
[http://homepages.cwi.nl/~ralf/HList/ 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 [[Summer of Code: Project suggestions#Port HaskellDB to HList|possible]] relatedness to HaskellDB project.
+
[http://homepages.cwi.nl/~ralf/HList/ 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 [[Summer of Code: Project suggestions#Port HaskellDB to HList|possible]] relatedness to HaskellDB project.
   
   

Revision as of 11:42, 25 April 2006

Contents

1 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).

2 Homes

2.1 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).

2.2 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.

3 Other materials

3.1 ICS Wiki

ICS Wiki is a huge resource of Haskell materials (among others).

4 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.


5 Appendix

Concepts which are concerned by the papers of the two official HaskellDB homes