呼吁微软发布Spec#

作者 James Vastbinder 译者 张逸 发布于 2008年6月9日 上午2时56分

社区

.NET

主题

语言设计,

.NET框架,

编程

标签

Spec#

上月，微软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中为多个语言服务？

查看英文原文：Call for Microsoft to Release Spec#

• 更早的 >