InfoQ

InfoQ

新闻

我的书签

登录注册 以永久保存书签。

该内容已经被标记书签!

标记书签错误,请重试!

呼吁微软发布Spec#

作者 James Vastbinder 译者 张逸 发布于 2008年6月9日

领域
架构 & 设计,
语言 & 开发
主题
.NET框架 ,
语言设计 ,
编程 ,
.NET
标签
Spec#

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

译者 张逸 是一个怀揣梦想的架构师,沉迷于设计之美,著译作包括《软件设计精要与模式》、《WCF服务编程》等。

深度内容

大规模视频网站的计费与流量管理

本次分享将会就大规模视频网站的计费与流量管理这个话题,从操作层面细细进行讲解和分析,为系统工程师们揭示平日里我们没有关心的另一些内容。同时也希望本次分享能揭示行业中的一些“潜规则”,让互联网行业的流量与带宽管理更为开放与简洁。
本次演讲视频录制于QCon杭州2011

专访Jeffrey Richter:Windows 8是微软的重中之重

Jeffrey Richter以其多本Windows核心技术的经典著作而闻名,同时,他深入掌握微软的.NET等一系列核心技术,2012年1月,Jeffrey Richter在北京接受了InfoQ中文站的专访,谈到Windows 8和WinRT编程,并就异步编程、Windows编程中的可扩展性、性能和安全性方面给出自己的建议。

应用云平台的可用性——从新浪SAE看云平台设计

云计算平台的可用性,相比传统互联网服务而言,更加复杂和困难,也更具有挑战性。本文借助新浪SAE云平台为读者讲述了云平台可用性的定义、如何打造高可用的平台,以及对云计算的用户提出了建议。

JVM定制改进 @ 淘宝

淘宝高度重视Java平台的健康发展,组建了一个团队专注于Java平台的底层部分的性能、功能与稳定性改进;工作主要基于OpenJDK中的HotSpot VM开展,其中一些通用的功能随后也会逐渐反馈给OpenJDK社区。希望能与使用Java平台开发应用的大家交流经验。
本次演讲视频录制于QCon杭州2011

"伤得起"的云计算应用——对云端应用之架构的思考

2011年4月21日至22日是值得云计算从业者纪念的日子。Amazon的IaaS服务出现故障,导致许多商业网站的服务中断,影响非常严重。作为云计算用户,我们需要思考的是,如何保证即便在云服务不可用的情况,我们的应用架构仍然能够屹立不倒?本文正是站在云计算用户的角度试图探讨这一问题。

让交付的速度跟上思考的速度

12人的技术团队,4组刀片服务器,每月20亿的访问量,每日1次准时部署,99.9%的可用性。这可能吗?当然。想知道如何做的吗?百姓网将与您分享他们在DevOps实践过程中的经验和技巧。
本次演讲视频录制于QCon杭州2011

架构之路——穿行在产品和业务之间

篱笆作为一家起源于社区的电子商务公司,反映到技术层面就是同时要面对产品和业务,以及经营战略的变化调整。如何在产品和业务的夹缝之间完成技术架构的抽象与平衡,寻找更有效的价值定位,这当中有些经验教训和个人感悟愿与众人分享。
本次演讲视频录制于QCon杭州2011

特性注入:成功三部曲

本文将对特性注入以及相关方法做一个扫盲性的介绍。我们会解释这个框架的关键要素,并附上实例来证实它们。为了让文章保持相对较短,我们不会深入到某个工具或方法中,而是会给出一些参考资料,以便大家做进一步的研究。