jcookeak

6 ms·

1. 1.▲
   by jcookeak 4y ago

   Also have to sing praise for Kotlin, flyway, and some type-safe db framework. I’ve recently been migrating projects from jOOQ to SQLDelight. While not as feature complete, being able to write queries in sql and then generate type safe code
2. 2.▲
   by jcookeak 4y ago

   For one thing, Dhall is not Turing complete. You can also freeze imports to prevent supply chain hacks, so it is much safer in theory. They have a great writeup on their safety here: https://docs.dhall-lang.org/discussions&
3. 3.▲
   by jcookeak 5y ago

   I took the IU compilers course as an undergrad and can easily say it was my favorite course. If anyone is interested, here is a link to the textbook which will cover this papers content in much finer detail: https://github.com&#x