InfoQ

News

Call for Microsoft to Release Spec#

Posted by James Vastbinder on May 28, 2008 11:18 AM

Community
.NET
Topics
.NET Framework ,
Language Design ,
Programming
Tags
Spec#

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?

More resources needed by 超 陆 Posted May 28, 2008 1:13 PM
Re: More resources needed by John DeHope Posted May 29, 2008 9:31 AM
  1. Back to top

    More resources needed

    May 28, 2008 1:13 PM 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.

  2. Back to top

    Re: More resources needed

    May 29, 2008 9:31 AM 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.

Educational Content

Bindings, Platforms, and Innovation

This presentation focuses on the Internet and separating myth from fact, history from the future, and the mundane from the imaginative. Bob Frankston presents a vision of what could and should be.

Orchestrating Long Running Activities with JBoss / JBPM

This article explores the use of JBoss and jBPM to implement design solutions that effectively address the issue of orchestrating long running activities.

Neo4j - The Benefits of Graph Databases

This presentation covers the use of graph databases as an optimal solution for data that is difficult to fit in static tables, rapidly evolving data or data that has a lot of optional attributes.

Realistic about Risk: Software development with Real Options

This session introduces Real Options and shows how it can help in running your project. Real Options is a decision-making process that can be used to manage risk.

Communication Flexibility Using Bindings

This article discusses the use of bindings on services and references (including the instance of non-configured bindings) as the means to implement SCA communications in a Web and SOA environment.

Writing DSLs in Groovy

After a short introduction to DSLs, Scott Davis plays with the keyboard showing how to approach the creation of a DSL by typing working snippets of Groovy code that get executed.

Scaling Agile with C/ALM (Collaborative Application Lifecycle Management)

IBM Rational and InfoQ present, Scaling Agile with C/ALM, an eBook showing organizations how to become “finely tuned software delivery machines” by enabling team integration and scaling.

Concurrent Programming with Microsoft F#

Amanda Laucher presents a real life enterprise application written in F#. She shows actual code snippets, explaining design decisions and suggesting how to use some of the F# constructs.