A modern programming language that makes developers happier.

kotlinlang

I can see proving totality using such a system.  I'm not following how a system could also prove behavior, though

I’ll show you as soon as we have something visual

but most of the hard work and research is done and it will be included as part of meta for Kotlin

then you won’t have to tell your friends why FP is good or bad, the compiler is gonna tell them as they write unsafe code. Then FP doesn’t really matter beyond style preference.

since the goal of FP is safe deterministic code and this can also be achieved with static analysis

I think I kind of see it, but I would love to see it in action to make sure :slightly_smiling_face: