Spec#, nullables and more

[Jesse Phillips]

Walter Bright Wrote:

> I think you misunderstand why checked exceptions are such a bad idea. It's not 
> just that they are inconvenient and annoying. They decrease security by *hiding* 
> bugs. That is the opposite of what you'd want in a high security language.

Not only is swallowing the exception a problem, but exceptions aren't added liberally in the code since every exception thrown/renamed effects all calling code. I'm still not in the habit of asserting assumptions.