BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

呼吁微软发布Spec#

| 作者 James Vastbinder 关注 0 他的粉丝 ,译者 张逸 关注 12 他的粉丝 发布于 2008年6月10日. 估计阅读时间: 1 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

上月,微软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#

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT