Comment Re:Wouldn't help (Score 1) 612
What Hoare is talking about is designing the language so that the entire concept of a null reference is impossible. That is, if you wrote a program that might result in a null reference, then your program would not compile.