Spec#, nullables and more

[Gary Whatmore]

bearophile Wrote:

> Plus a nice Microsoft site that allows you to try it in interactive way, this is very good:
> http://www.rise4fun.com/SpecSharp

D can do that too. We had those interactive versions in the newsrgoup. We saw no value in them.

> Spec# adds only few things to C# 2.0:
> - Non-nullable types;

The day D implements non-nullable types is the day I burn my copy of TDPL and stop using D. Why keep you pushin this crap. I don't want to hear about it. It doesn't improve my productivity at all.

> - Statically enforced Contract Programming syntax and semantics;

Too difficult to implement. Not worth it.

> - A way to list what attributes are modified in a method (similar to my @outer).

The compiler should do this itself.

> - Checked exceptions (like Java ones).

Oh god.. what were they smoking?


> My reference issue:
> http://d.puremagic.com/issues/show_bug.cgi?id=4571

Walter, please close this as wontfix. We don't need those. These extra runtime checks will slow down my code. I know myself when my pointer is null.

 - G.W.