InfoQ

新闻

呼吁微软发布Spec#

作者 James Vastbinder 译者 张逸 发布于 2008年6月9日 上午2时56分

社区
.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#

深度内容

和Google互补的搜索引擎Wolfram|Alpha

Wolfram|Alpha与Google究竟是什么关系,Wolfram|Alpha自己是如何定位的?Wolfram|Alaph在多大程度上是语义网搜索呢?InfoQ中文站就等等这些问题采访了Wolfram研究公司中国区商务经理王翔。

SOA契约成熟度模型

本文说明了所推荐的契约版本管理设计策略是如何与SOA成熟度模型发生联系的。文章目的是为实现版本管理和可组合性提供一个路线图。

数据服务简介

Vijay Narayanan在这篇文章中对数据服务的几个方面进行了介绍,它们都是SOA实践者和数据架构师感兴趣的内容。本文对数据服务的几个方面进行了介绍,包括需求定义,基本原理和好处、范围、开发以及消费模式。

分块云计算

在本文中,Jimmy Nilsson描述了一种他在过去数年间观察到的一种正在缓慢成长的架构风格,他把这种风格称为“分块云计算”。

豆瓣网技术架构变迁

罗马不是一天建成的,豆瓣的技术架构也是随着用户规模的增长一直在持续变化中。在本次演讲中,豆瓣的首席架构师洪强宁将与大家一起分享从上线时的单台服务器架构开始一直到现在的豆瓣架构变迁历程。

融合思想:深入探索S#arp架构

Billy McCafferty展示了S#arp架构,它在ASP.NET MVC框架的基础上,荟萃了当今的最佳实践,应用在ASP.NET Web应用程序的架构设计中。

王雷谈开源以及新兴市场计划

中国作为新兴市场中的新兴市场,是Sun在美国之外实施SSE(SUN Startup Essentials)项目重点关注的地区。在QCon Beijing 2009期间,InfoQ中文站有幸对此项目的负责人王雷先生进行了采访,探讨了关于开源、新兴市场、SSE等话题。

使用HTML5构建下一代的Web Form

HTML5 是由 WHATWG发起的,最开始的名称叫做Web Application 1.0,而后这个标准吸纳了Web Forms 2.0的标准,并一同被W3C组织所采用,合并成为下一代的HTML5标准。