References in D

[bearophile]

Alex Rønne Petersen:

> and so on. It's fairly trivial to set up a sane type system 
> this way, and you make it explicit where null is acceptable. 
> This is how type systems should be done IMO - things should not 
> be allowed to have some arbitrary invalid state unless the 
> programmer allows it.

I agree, but creation, initialization and interactions between 
objects is not trivial when you introduce nonnullables. This 
complexity is a cost that must be taken into account.

Bye,
bearophile