Spec#?

Microsoft Research is at it again. They’re working on an experimental language called Spec#. Generics used to be an MSR project, now they’re one of the staples of .NET 2.0, so ya never know just which features of Spec# might be showing up in C# 3.0. Then again the famed data centric language features (X#/Xen/C-Omega) still haven’t made the light of day.

Leave a Reply