Yet Another Comment at C# 4.0

Yes, me too. I need to comment on this.

I was at first a little disappointed. All that buzz around the new dynamic type, and Spec# did not reach the podium...

Well, actually it did. They got the idea of implementing contracts in a language neutral manner, by rewriting the IL the compiler generated. Whoa. Now that is cool. It works with every language that targets .NET even your own DSL if you've written one. And the Pex utility that automagically finds input values that break your preconditions, kinda seems nice too...

That is an order of magnitude more useful than canadian ducks being able to Quack() and Walk() anywhere, eh!

Now, what will happen with .NET implementations of Eiffel and RemObjects Oxygene? Will they target the new Contracts framework?