<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Interesting. I wonder how it compares to IxSet
(<a class="moz-txt-link-freetext" href="https://hackage.haskell.org/package/ixset">https://hackage.haskell.org/package/ixset</a>) and ACID-State
(<a class="moz-txt-link-freetext" href="https://hackage.haskell.org/package/acid-state">https://hackage.haskell.org/package/acid-state</a>). Could you comment?<br>
<br>
<div class="moz-cite-prefix">On 12/02/2015 12:51 PM, A.M. wrote:<br>
</div>
<blockquote cite="mid:565F2FAF.1090807@themactionfaction.com"
type="cite">
<pre wrap="">Hello,
Project:M36 is an open-source, relational algebra engine database
management system written in Haskell. When used as a backend with other
Haskell frameworks such as yesod, Project:M36 completes a fully-Haskell
application stack.
<a class="moz-txt-link-freetext" href="https://github.com/agentm/project-m36">https://github.com/agentm/project-m36</a>
Project:M36 adheres strongly to the relational algebra principles laid
out by Chris Date in his books and, thus, includes a TutorialD
interactive interpreter for learning about the relational algebra. Thus,
Project:M36 does not suffer from the typical type-system impedance
mismatch or SQL inconsistencies common in ORMs.
Of particular interest to Haskellers is the existentially-quantified
value type which allows any Haskell data type adhering to a set of basic
typeclasses to be used directly as a database value. This feature
includes creating database functions to operate directly on these values.
In addition, the transaction model is similar to git: instead of
continually contending for the "latest committed" state, the DBMS
maintains a transaction graph which allows for branching and time travel
to past commits.
Naturally, through the use of immutable data structures, Project:M36
opens the door for parallelization of every query.
Project:M36 includes two native Haskell interfacing libraries: a) a
driver for the "persistent" library and b) a client library which allows
direct access to the relational algebra DSLs.
Thanks for looking at Project:M36!
Best regards,
Team Project:M36
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Haskell-Cafe mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
</pre>
</blockquote>
<br>
</body>
</html>