Tom Servo wrote:
I wonder if they plan to implement the Spec# features into C# at some point.


I wouldn't be surprised. A lot of the MS Research projects (ex: LINQ) get rolled into the language if they are cool enough.