Don't miss out on Spec#

Hey, you decision makers up there at Microsoft. Maybe you didn't realize this, or maybe you're waiting for the community to let you know. Spec# is one awesome project that needs to become a real product.

It allows one to verify during compilation lots of things you'd usually write corner-case unit tests for, plus allows you to specify a standard behavioral contract for methods using attributes. Saves lots of time and lots of headaches.

Want To learn more?

If the community is vocal enough about it, the research project just might become a real product. so if you like it, blog it.

Published Tuesday, April 29, 2008 2:26 PM by RoyOsherove
Filed under: , ,

Comments

Tuesday, April 29, 2008 3:21 PM by Omer van Kloeten

# re: Don't miss out on Spec#

Tried starting that a year and a half ago [1], but nothing happened so far :(

Hope it works this time :)

[1] weblogs.asp.net/.../720461.aspx

Tuesday, April 29, 2008 3:28 PM by Greg Young

# re: Don't miss out on Spec#

Don't forget your bumper sticker :-)

codebetter.com/.../i-want-spec.aspx

Tuesday, April 29, 2008 7:15 PM by Mike Harges

# re: Don't miss out on Spec#

Very cool. At first glance it looks like some of the concepts in Eiffel added to C#. Definitely something that I'd like to see move into the mainstream.

Saturday, May 03, 2008 10:32 PM by Judah

# re: Don't miss out on Spec#

I've been saying this for more than 2 years now -- Spec# needs to be merged into C#, or spun as a product by itself.

I asked for this many times while C# 3 was being developed, but nothing came of it.

I've given feedback to several MS guys that want developers like myself really want is things that help us write less buggy code. Spec# does that. Please give us Spec#, Microsoft!

Leave a Comment

(required) 
(required) 
(optional)
(required)