Comment Comment by 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 parent karmakaze 7 years ago
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