<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>