呼吁微软发布 Spec#

  • James Vastbinder
  • 张逸

2008 年 6 月 9 日

话题:.NET语言 & 开发架构

上月,微软 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#
.NET语言 & 开发架构