null [re: spec#]

[bearophile]

I agree with Nick Sabalausky in this discussion.

Simen kjaeraas:

> But if it isn't, we must either define what it should do, or accept that
> some compilers will catch some of the uninitialized variable bugs, where
> others do not. We do not want that.

Right. There are ways to write formal specs for this too

But it's not an easy thing to do. D has chosen to have simpler implementation and specs. This means that on this regard implementing a correct D front-end is simpler than implementing a C# front-end.

Bye,
bearophile