This page contains outdated and inaccurate information.

See http://trac.haskell.org/haskelldb for the latest information on HaskellDB.

HaskellDB is a combinator library for expressing queries and other operations on relational databases in a type safe and declarative way. All the queries and operations are completely expressed within Haskell, no embedded (SQL) commands are needed. This close integration makes it possible to do arbitrary computations on the database (like computing the transitive closure) and makes it very easy to combine HaskellDB with other combinator libraries (like Erik Meijer's CGI library or John Hughes pretty printer).

C.J. Date has argued for years that database should be able to store values of arbitrary and user defined domains. With HaskellDB, structured data types can be used on top of conventional (SQL) databases. It is even possible to add special optimization or rewrite passes on the constructed relational expressions. HaskellDB can also connect to multiple databases at the same time. At the moment, only an ADO (ODBC) backend is provided but it should be easy to add support for other databases (like ASN.1). The faq contains a list of features that are missing.

Have fun!

Daan Leijen
[mail,home]