Difference between revisions of "Applications and libraries/Database interfaces/CoddFish"
EndreyMark (talk | contribs) m (spell-check with ispell) |
m (update link) |
||
| (9 intermediate revisions by 4 users not shown) | |||
| Line 3: | Line 3: | ||
== Introduction == |
== Introduction == |
||
| − | [http://wiki.di.uminho.pt/ |
+ | [http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/CoddFish 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 another type safe and declarative approach to database management in Haskell (I mean another than [[../HaskellDB|HaskellDB]]). It is not able yet to achieve persistence by connecting to (real-life) database management systems. To achieve type safety, it uses [http://homepages.cwi.nl/~ralf/HList/ HList --- a Haskell library for strongly typed heterogeneous collections]. |
||
| + | |||
| + | It is encoded in the functional programming language Haskell and it makes extensive use of typeclass bounded, parametric polymorphism and [http://homepages.cwi.nl/~ralf/HList/ heterogeneous collections]. See the: [http://darcs.haskell.org/HList/ HList darcs repos]. |
||
| + | |||
| + | Apart from the standard relational database operations, such as |
||
| + | selection and join, it contains functional dependencies, normal |
||
| + | forms, and operations for database transformation. |
||
| + | |||
| + | Unlike tools such as [[../HaskellDB|Haskell/DB]], the CoddFish library does not (at the moment) aim to support database connectivity. |
||
| + | |||
| + | Further details can be found in the draft paper available from the [http://wiki.di.uminho.pt/twiki/bin/view/Research/PURe/CoddFish project webpage]. |
||
| + | |||
| + | == Availability == |
||
| + | |||
| + | CoddFish is available as part of the [http://wiki.di.uminho.pt/wiki/bin/view/PURe/PUReSoftware UMinho Haskell Libraries]. |
||
| + | |||
| + | == Credits == |
||
| + | * [http://wiki.di.uminho.pt/wiki/bin/view/Xana/WebHome Alexandra Silva] |
||
| + | * [http://wiki.di.uminho.pt/wiki/bin/view/Joost/WebHome Joost Visser] |
||
== Related concepts == |
== Related concepts == |
||
* [[Extensible record]] |
* [[Extensible record]] |
||
| + | * [[Relational algebra]] |
||
| + | * [http://homepages.cwi.nl/~ralf/HList/ HList --- a Haskell library for strongly typed heterogeneous collections]. |
||
Latest revision as of 10:14, 6 May 2007
Introduction
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. See the: HList darcs repos.
Apart from the standard relational database operations, such as selection and join, it contains functional dependencies, normal forms, and operations for database transformation.
Unlike tools such as Haskell/DB, the CoddFish library does not (at the moment) aim to support database connectivity.
Further details can be found in the draft paper available from the project webpage.
Availability
CoddFish is available as part of the UMinho Haskell Libraries.