Spec#, nullables and more

[Pelle Månsson]

On 11/05/2010 02:39 PM, Kagamin wrote:
> bearophile Wrote:
>
>> Spec# adds only few things to C# 2.0:
>> - Non-nullable types;
>
> It's hard to tell, whether they fix anything. When you cast nullable to non-nullable, you get your runtime exception as usual, if you if out access to nullable (e.g. in delayed method), you get your runtime exception again or rather logical bug.

Getting the error early is actually a lot better than getting the error 
late.