Can non-nullable references be implemented as a library?

[bearophile]

retard:

> There are these DIPs in wiki4d. Were they useful? At least it seems that 
> this thread is leading nowhere. Half of the people don't know what non-
> nullable means. It's hard to trust this process when it seems to go 
> nowhere. No one wants to validate the design decisions.

If a language feature is too much complex to understand&design for the community of people that use the language, then it may be better to not add that feature to the language. Maybe nonnullabile types are too much complex to design for D. Even D2 immutability and D1 type system seem borderline to the max complexity of things that may be added to D. The design of the module system and immutability have some important holes still.

Bye,
bearophile