[karmakaze]

1. Experimenting to see if a practically useful monad library can be made for a popular statically-typed language: Java[0] or TypeScript[1]

2. Always wanted a type-safe way to construct efficient SQL queries building bottom-up as in SQL rather than left-to-right as in ORMs[2].

3. A framework using (1) and (2) so building backends are not time-consuming or error-prone. Still in early stages.

[0] https://github.com/karmakaze/moja

[1] https://github.com/karmakaze/monadts

[2] https://github.com/karmakaze/safeql

[vithalreddy]

Number 2 seems particularly useful for devs, As they are ones who suffer most of writing complex SQL queries using "ORM".

[karmakaze]

I've come to realize that there are two camps here: those who appreciate SQL's structure and those who like the left-to-right ORM navigation of relations.

I do have to admit that it is awfully convenient to use a REPL to write a long chain query using an ORM. I do often run into limitations, and knowing that the solution in plain SQL is so simple is very annoying. The idea is to allow convenient composition, but following the structure of SQL rather than parent-children navigation so there aren't paint-yourself-in-a-corner cases.