Extensibility in VS2010, possible opening for Spec# features?

Image via Wikipedia

So, I’ve been watching the PDC2008 keynote and my heart jumped a bit at 1:32:52 in the keynote, which was Scott Guthries part. He was talking about extensibility in VS2010 and here’s a transcription of what he says in the video.

“Going forward you’re going to see, in VS2010, that we’re gonna be opening up the extensibility all over the place. In particular within the IDE itself as well as within the text editor.

With the next release we’re gonna go a step further, and we will also open up the language services and the compiler infrastructure as well. It’s gonna really, we think, enable some really great code capabilities.”

You could interpret the second part of the quote in many ways but it just might be a small opening for making Spec#-like features work without having to make an intrusive change of the entire C# language. Of course this is mere speculation and I havn’t been able to find any further information on these language services and compiler infrastructure extensibility points so time will tell what it really meant. But for now I’ll take it and hold on to it as a bit of hope that we will someday see Spec# fetaures in our day-to-day projects.