A modern programming language that makes developers happier.

kotlinlang

hi i have a question deos kotlin have sound null safety?

Kotlin’s type system lets you express nullability, and so if two types’ nullability are different, the compiler can ensure the right thing is done. Otherwise, not sure what you’re asking, can you elaborate?

The type system is sound, even with regards to nulls, if I remember correctly. But this only holds so long as no Java interop is involved, because Java does not have null-safety.