写点什么

呼吁微软发布 Spec#

  • 2008-06-09
  • 本文字数:437 字

    阅读完需:约 1 分钟

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

2008-06-09 02:56650
用户头像

发布了 109 篇内容, 共 40.9 次阅读, 收获喜欢 14 次。

关注

评论

发布
暂无评论
发现更多内容

模块五作业:设计微博评论的高性能高可用计算架构

Felix

模块五作业-微博评论-高性能高可用架构

babos

#架构实战营

架构实战营模块5作业

技术是伙伴

架构实战营

架构实战营 - 模块 5 - 微博评论的高性能高可用计算架构

雪中亮

架构实战营 #架构实战营

MongoDB中间件工具mgm入门介绍(一)

liuzhen007

8月日更

有同学问我:Fetch 和 Ajax 有什么区别?

编程三昧

JavaScript ajax 大前端 8月日更 Fetch

架构实战营模块五作业

老猎人

架构实战营

老和云起小游

箭上有毒

8月日更

”微博评论“的高性能高可用计算架构

feitian

平台利用大数据割韭菜,消费者为何沦为砧板上的鱼肉

石头IT视角

微博评论高性能高可用方案设计

gawaine

架构实战营

模块五作业

河马先生

架构实战营

架构实战营作业 M05

Shawn Liu

【设计模式】策略模式

Andy阿辉

C# 后端 设计模式 8月日更

架构实战营 模块五 作业

脉醉

#架构实战营

[架构实战营] 模块五作业

xyu

#架构实战营

架构实战营 模块五 作业

三叔叔_拖延症晚期

模块5作业

Geek_ywh40v

【架构训练营】模块五作业

zclau

模块5 作业

SAKIN

模块五作业

绝影

架构训练营

模块五作业

Testcase

架构实战营

HBase 原理、Shell、API读写操作

Mike

[架构实战营一期] 模块五作业

trymorewang

架构实战营

设计微博系统中”微博评论“的高性能高可用计算架构

木云先森

架构训练营

模块五-微博评论“的高性能高可用计算架构

柱林

架构训练营 模块五

小卷儿

在线CSS代码压缩美化工具

入门小站

工具

架构实战训练营第五模块作业

子豪sirius

架构实战营

架构实战营 - 模块 5- 设计微博系统中”微博评论“的高性能高可用计算架构

蔸蔸

架构训练营模块五作业

喻高咏        

呼吁微软发布Spec#_.NET_James Vastbinder_InfoQ精选文章