Spec#, nullables and more

[Gary Whatmore]

Pelle Månsson Wrote:

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

Getting the error early means that less code compiles and that makes the rapid development fail and turns it into a waterfall misery. It's important to make your tests run quickly in the background. One reason I prefer Python is that it let's me run even (semantically) buggy code, because syntactical correctness is enough. It really improves productivity.