上月,微软 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 中为多个语言服务?
评论