<div dir="ltr">Sounds very exciting!</div><br><div class="gmail_quote"><div dir="ltr">ср, 2 дек. 2015 г. в 22:52, A.M. <<a href="mailto:agentm@themactionfaction.com">agentm@themactionfaction.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
Project:M36 is an open-source, relational algebra engine database<br>
management system written in Haskell. When used as a backend with other<br>
Haskell frameworks such as yesod, Project:M36 completes a fully-Haskell<br>
application stack.<br>
<br>
<a href="https://github.com/agentm/project-m36" rel="noreferrer" target="_blank">https://github.com/agentm/project-m36</a><br>
<br>
Project:M36 adheres strongly to the relational algebra principles laid<br>
out by Chris Date in his books and, thus, includes a TutorialD<br>
interactive interpreter for learning about the relational algebra. Thus,<br>
Project:M36 does not suffer from the typical type-system impedance<br>
mismatch or SQL inconsistencies common in ORMs.<br>
<br>
Of particular interest to Haskellers is the existentially-quantified<br>
value type which allows any Haskell data type adhering to a set of basic<br>
typeclasses to be used directly as a database value. This feature<br>
includes creating database functions to operate directly on these values.<br>
<br>
In addition, the transaction model is similar to git: instead of<br>
continually contending for the "latest committed" state, the DBMS<br>
maintains a transaction graph which allows for branching and time travel<br>
to past commits.<br>
<br>
Naturally, through the use of immutable data structures, Project:M36<br>
opens the door for parallelization of every query.<br>
<br>
Project:M36 includes two native Haskell interfacing libraries: a) a<br>
driver for the "persistent" library and b) a client library which allows<br>
direct access to the relational algebra DSLs.<br>
<br>
Thanks for looking at Project:M36!<br>
<br>
Best regards,<br>
Team Project:M36<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div>