bearophile Wrote:

> Walter:
> 
> > I don't see that non-null is such a special case that it would benefit from 
> > a 
> > special case syntax.
> 
> Well, nonnull are a special cases because:
> - There is a good enough way to solve this problem. This is not true in the 
> general case.
> - null exceptions are very common bugs, among the most common ones in Java 
> and C#.

citation needed. I've made software with 100% line and path coverage. No 
segfaults happened ever. Spent enormous time optimizing the code and its 
quality. In quality applications NPE/segfaults simply don't exist.

Reply via email to