BT

Call for Microsoft to Release Spec#

| by James Vastbinder Follow 0 Followers on May 28, 2008. Estimated reading time: less than one minute |

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 Stage
Style

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Tell us what you think

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

More resources needed by 陆 超

I'd like it intergrated into C# so that it has more attention, but considering the complicity of C# itself increasing every year, I think maybe it's better to make it a standalone product, But the most important thing is that microsoft should give it enough resource to evole anyway.

Re: More resources needed by John DeHope

I'd like them to normalize how the "?" syntax works. I want everything to be non-nullable by default. That means value types as well as reference types. If I want something, anything, to be nullable, I'll put a "?" on the type.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Email me replies to any of my messages in this thread

2 Discuss

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT