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

[Walter Bright]

On 1/17/2014 6:12 PM, bearophile wrote:
> Walter Bright:
>
>> I strong, strongly, disagree with the notion that critical systems should
>> soldier on once they have entered an invalid state.
>
> The idea is to design the language and its type system (and static analysis
> tools) to be able to reduce the frequency (or probability) of such invalid
> states, because many of them are removed while you write the program.

Once again,

"I don't disagree that some form of static analysis that can detect null 
dereferencing at compile time (i.e. static analysis) is a good thing. I concur 
that detecting bugs at compile time is better."