写点什么

呼吁微软发布 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:56640
用户头像

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

关注

评论

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

瓴羊Quick BI报表分析工具,专业数据分析人员的“神辅助”

对不起该用户已成仙‖

前端开发如何选择培训机构

小谷哥

信息论绪论

timerring

信息论 信息论与编码

日日顺供应链|想要看清供应链发展趋势,先回答这三个问题!

联营汇聚

Smart Finance 热启动创世开启,参与质押瓜分SMART资产

股市老人

2023-02-13:力扣数据中心有 n 台服务器,分别按从 0 到 n-1 的方式进行了编号 它们之间以「服务器到服务器」点对点的形式相互连接组成了一个内部集群 其中连接 connections 是

福大大架构师每日一题

算法 rust 福大大

MQTT X 1.9.1发布:资源消耗降低80%,稳定性大幅提升

EMQ映云科技

物联网 IoT mqtt 版本发布 企业号 2 月 PK 榜

【漏洞真实影响分析】Apache Kafka Connect 模块JNDI注入(CVE-2023-25194)

墨菲安全

SCA 代码安全检测 软件供应安全

MQTT协议快速体验

EMQ映云科技

开发 物联网 IoT mqtt 企业号 2 月 PK 榜

BATMAN:将双边注意力用于视频对象分割

Zilliz

计算机视觉

提速还能不掉点!深度解析 MegEngine 4 bits 量化开源实现

MegEngineBot

深度学习 开源 MegEngine CUDA int4

什么是极速文件传输,极速文件传输如何进行大文件传输

镭速

Smart Finance 热启动创世开启,参与质押瓜分SMART资产

鳄鱼视界

低代码开发平台 让数据应用不再复杂

力软低代码开发平台

某财税集团:使用进步的技术,对业务降本提效

OceanBase 数据库

数据库 oceanbase

前端培训机构怎么选择

小谷哥

GPT发展史

鼎道智联

openai

前端培训机构哪家比较适合学习

小谷哥

物联网首选协议,关于MQTT你需要了解这些

EMQ映云科技

物联网 IoT mqtt 企业号 2 月 PK 榜 消息传输

ChatGPT是什么?怎么用?如何提效?怎么赚钱变现?

王中阳Go

深度思考 高效工作 学习方法 AI ChatGPT

ChatGPT:“Hello Alluxio,我为你写了一首诗!”

Alluxio

presto 分布式, Alluxio 大数据 开源 ChatGPT

一文盘点,ZBC的应用场景与通缩场景

西柚子

flutter系列之:使用SliverList和SliverGird

程序那些事

flutter 架构 大前端 程序那些事

java技术培训机构哪里好

小谷哥

“唤醒”闲物、“童”心共享

最新动态

2023年1月国产数据库大事记-墨天轮

墨天轮

数据库 opengauss TiDB oceanbase 国产数据库

Multicoin Capital资本2023展望

股市老人

线下java培训机构哪个比较好

小谷哥

文盘Rust -- 领域交互模式如何实现

京东科技开发者

rust 逻辑 交互 企业号 2 月 PK 榜 interactcli-rs

Innodb 的RR 是否彻底解决了幻读?

想要飞的猪

innodb 隔离级别 幻读

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