Applications and libraries/Database interfaces/CoddFish

From HaskellWiki
< Applications and libraries‎ | Database interfaces
Revision as of 08:49, 19 June 2006 by Xana (talk | contribs) (Introduction changed (to appear less dense))
Jump to: navigation, search


CoddFish is a strongly-typed model that can be used to design and experiment with typed languages for modelling, programming, and migrating databases.

It is encoded in the functional programming language Haskell and it makes extensive use of typeclass bounded, parametric polymorphism and heterogeneous collections.

Apart from the standard relational database operations, such as selection and join, it contains functional dependencies, normal forms, and operations for database transformation.

Further details can be found in the draft paper available from the project webpage.


CoddFish is available as part of the UMinho Haskell Libraries.


Related concepts