[Haskell-cafe] Interest in typed relational algebra library?

Ertugrul Söylemez es at ertes.de
Sat Jul 7 15:44:56 CEST 2012

Paul Visschers <mail at paulvisschers.net> wrote:

> I've been out of the Haskell game for a bit, but now I'm back. A
> couple of years ago I made a small library that implements relational
> algebra with types so that malformed queries and other operations are
> caught at compile time. It is heavily based off of the internals of
> HaskellDB (see
> http://hackage.haskell.org/packages/archive/haskelldb/2.1.1/doc/html/Database-HaskellDB-PrimQuery.html),
> but types so that it can actually be used directly instead of having
> to use HaskellDB's query monad. Besides the joy of using relational
> algebra directly in your code, this also means that you can make
> query-optimizing code in a type-safe way, you can subquery results
> returned by the database directly without accessing the database again
> and you have more options when converting from relation algebra to SQL
> or another query language. The library isn't quite ready for release,
> but I might want to work on it a bit and then release it. Is anyone
> interested in such a library?

As someone who enjoyed the HaskellDB library I'm very interested in such
a library, even though nowadays I mostly use acid-state.


Not to be or to be and (not to be or to be and (not to be or to be and
(not to be or to be and ... that is the list monad.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120707/4870337f/attachment.pgp>

More information about the Haskell-Cafe mailing list