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."
