Open Jacoby6000 opened 8 years ago
The information found in @tpolecat's presentation "Pure Functional Database Programming … with Fixpoint Types" may help with this. I can imagine decorating the query AST with information about arity of the select and types of the columns if possible.
The decorated structures might be better suited as more concrete classes though. It would probably be helpful to put all of this in a sort of core-decorated
which has nothing but the faculties for decorating the AST.
First steps towards doing this involve making a Schema abstraction so that the code has a model of the database.
I'm thinking this should look similar to Slick's DSL, if not exactly like slick's DSL.