HackerTrans
TopNewTrendsCommentsPastAskShowJobs

jcookeak

no profile record

comments

jcookeak
·4 ปีที่แล้ว·discuss
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 has been amazing. My biggest issue with jOOQ has been joins where you lose some null safety and general issues with the generated POJO (which admittedly has improved over time). With SQLDelight, it has felt like the database just fades away when writing Kotlin.
jcookeak
·4 ปีที่แล้ว·discuss
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/Safety-guarantees.ht...