A modern programming language that makes developers happier.

kotlinlang

I'm fine with the way platform types behave today. I'll just make sure to be extra careful when working with them. And the compiler still puts in runtime checks to avoid null propagation. So that's all fine.

But some specific calls are obviously either nullable or nonnull. And, for most of those calls I'd just make my own extension function to enforce the nullability.

In this case, however, I really feel that the extension function belongs in the stdlib, because `Optional` has become a huge part of modern Java, and is used a lot in modern code.