Null-checked reference types

[Sebastiaan Koppe]

On Wednesday, 7 August 2024 at 14:34:00 UTC, IchorDev wrote:
>> Instead of a contract or documentation saying they have to be 
>> non-null, the best way is to have the type system enforce it 
>> at compile-time. Just to mention two, Kotlin and Zig default 
>> to non-nullable references / pointers. You have to annotate 
>> nullable ones and handle the null case.
>
> Interesting. Do people who use those languages actually like 
> that?

Absolutely. It's often praised as an important improvement over 
Java.