Comment by phreack

I love this kind of work having the compiler prevent you from creating business logic bugs. If you're into this and Kotlin, take a look at the contracts experiment - https://blog.kotlin-academy.com/understanding-kotlin-contrac...