Hello,<div><br></div><div>A couple of weeks ago I asked if there was interest in a library that implements a type-safe relational algebra. The response was positive, so I have spruced up the code I had a bit and created a repository on GitHub at:</div>
<div><br></div><div><a href="https://github.com/PaulVisschers/relational-algebra">https://github.com/PaulVisschers/relational-algebra</a>
</div><div><br></div><div>It is a very rudimentary version. The code is not documented and there is only a very basic example database in Test.hs. It might be helpful to look at HaskellDB&#39;s PrimQuery and PrimExpr, as this library is mostly a direct copy from that (but typed). I will add some decent examples of expressions and queries shortly.</div>
<div><br></div><div>If you check it out, please comment on it and let me know if you want to contribute. Since this is going to be my first release, any feedback is welcome.</div><div><br></div><div>Paul Visschers</div>