上月，微软 MVP 以及 InfoQ 编辑 Greg Young 鼓动起草根阶层的力量，呼吁微软在.NET 中以整体或者分片地发布 Spec#。他以醒目的字体呼吁更多的志同道合者留下评论，并以此宣泄自己的激情：
我需要能够验证的软件……
Spec#是 C#语言的一个扩展，实际上它扩展了 C#的类型系统，包括非空类型和可检查的异常（checked exceptions）。它同时还提供了方法契约（method contracts）和对象常量。
Greg 发布了一段视频，这是他记录的由 Mike Barnett 和 Rustan Leino 参与的 Altdotnet Spec#会议视频。如果你仔细聆听，就可以听到与会者呼吁社区能够倾听他们的声音。大约在播放到 20 分钟处，则谈到他们更倾向于将 Spec#妥当地封装到 Visual Studio 中。
在 Scott Hanselman 发布了他对 Mike Barnett 和 Rustan Leino 采访的 Hanselminutes 音频播客时，他也对社区的回应做出了呼吁。
哪一个才是开发人员的钟爱呢？
将 Spec#添加到 C#中作为语言的扩展？
还是
将 Spec#添加到.NET 中为多个语言服务？
