Non-null objects, the Null Object pattern, and T.init

[bearophile]

deadalnix:

> Most object don't have a sensible init value. That is just 
> hiding the problem under the carpet.

If there's desire to solve this problem I think that improving 
the type system to avoid nulls where they are not desired is 
better than having an init object.

So aren't not-nullable pointers and references a better solution?

Bye,
bearophile