Skip to content
Pure Functional SQL generation.
Branch: series/0.4.x
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
project
scripts
sqlz-algebra/ansi/src/main/scala/sqlz/algebra/ansi
sqlz-tagless/ansi/src/main/scala/sqlz/tagless
.gitignore
.travis.yml
LICENSE
build.sbt
codecov.yml
readme.md
version.sbt

readme.md

Abandoned

I am no longer working on this. Master is currently very broken, and probably does not have good architecture. It is a partial implementation of SQL using tagless algebras...

I am giving up, because the way to correctly do this would be with a mutually recursive AST. I had implemented this in an old version of dotty (see the dotty branch) where it appeared to work, but there were some issues when evaluating the recursive parts of the algebra for the paramorphism. Also, I should've been using histoM instead of paraM looking back... Anyway, it doesn't matter. Scala doesn't support GADTs and what I had working with Dotty no longer compiles for reasons I don't understand (though, admittedly, I didn't try that hard).

This should be correctly doable using tagless algebras as well, however I am not really a fan of that approach for this particular problem. Modelling SQL using a mutually recursive AST felt right... Tagless doesn't. That's just my opinion though. Feel free to pick this up if you want.


Maven Central Join the chat at https://gitter.im/Jacoby6000/Scala-SQL-AST Build Status codecov

You can’t perform that action at this time.