BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage News Call for Microsoft to Release Spec#

Call for Microsoft to Release Spec#

This item in japanese

Bookmarks

Last month Greg Young, a Microsoft MVP and fellow InfoQ editor, initiated a grass roots effort asking for Microsoft to release Spec# as a whole or piece-wise in .NET.  In large font and asking for those with similar interests to leave a note, Greg declared his passion:

I want verifiable Software…

Spec# is an extension of the C# language and actually extends the C# type system to include non-null types and checked exceptions.  It also provides method contracts and object invariants. 

Greg posted a video he recorded of the actual altdotnet Spec# session presented by Mike Barnett and Rustan Leino.  If you listen closely you can hear the presenter ask for the community to let their voices be heard, around the 20 minute mark, if they would like Spec# to be folded into Visual Studio proper.

 Scott Hanselman also asked for community response when he released a Hanselminutes audio podcast of an interview he did with Mike Barnett and Rustan Leino.

Which would developers prefer: 

Spec# added to C# as a language extension?

or

Spec# added to .NET for multiple languages?

Rate this Article

Adoption
Style

BT