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.
