上月，微软 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 中为多个语言服务？
暂无签名
最新发布
我眼中的 Visual Studio 2010 架构工具
2010-07-23
快速了解 Scala 技术栈
2014-09-08
阅读者 (二十八)：实现领域驱动设计
2014-05-15
分布式云行业实践指南（2023）
业内首个分布式云行业实践方法论、工具箱。
核心系统的微服务设计经验分享
直击 GPT4，大型 AI 现场体验
微服务应用现代化交付与管理一体化实践
评论