写点什么

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

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

关注

评论

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

武汉等保测评有限公司有哪几家?具体位于哪里?

行云管家

等保 等保测评 等保2.0 武汉

【分布式技术专题】「分布式技术架构」一文带你厘清分布式事务协议及分布式一致性协议的算法原理和核心流程机制(Paxos篇)

洛神灬殇

分布式 PAXOS paxos协议 算法分析

GuavaCache与物模型大对象引起的内存暴涨分析——设备管理运维类

阿里云AIoT

缓存 算法 监控 物联网 数据格式

共享订阅--MQTT 5.0新特性

EMQ映云科技

物联网 IoT mqtt 企业号 3 月 PK 榜 共享订阅

深入理解spring mvc启动过程与原理

三十而立

Java spring 程序员 开发 IT

pytest学习和使用1-pytest安装和版本查看

Python 自动化测试 pytest

全能代码编辑器:CodeRunner 最新激活版

真大的脸盆

Mac 代码编辑器 Mac 软件 代码编辑 编辑代码

面试没有分库分表经验,就看这篇

三十而立

Java sql 程序员 IT 分库

浅谈DWS函数出参方式

华为云开发者联盟

数据库 后端 华为云 华为云开发者联盟 企业号 3 月 PK 榜

基于 Apache Flink 的实时计算数据流业务引擎在京东零售的实践和落地

Apache Flink

大数据 flink 实时计算

阿里120W年薪架构师力荐750页微服务架构深度解析笔记

程序知音

Java 微服务 编程语言 后端技术

Macbook技巧,Type-c接口失灵怎么办

互联网搬砖工作者

手把手教你写spring boot starter

三十而立

Java 程序员 IT springboot boot

温湿度计设备通过阿里云IoT物联网套件上报数据到钉钉群机器人实践——数据价值类

阿里云AIoT

JavaScript Serverless 物联网 机器人 机器学习/深度学习

NFTScan 与 UniPass 达成合作伙伴,双方在多链 NFT 数据方面展开合作!

NFT Research

NFT

TiDB SQL调优案例之避免TiFlash帮倒忙

TiDB 社区干货传送门

性能调优 实践案例 故障排查/诊断

快速尝鲜:RabbitMQ 搭建完就得用起来

Java你猿哥

Java Spring Boot ssm RabbitMQ

国家高新技术企业是国企吗?获得高新企业证书有什么用?

行云管家

高新企业 高新技术

技术详解 阿里云AIoT物模型支撑设备规模已超亿级——设备管理运维类

阿里云AIoT

运维 安全 监控 物联网 芯片

物联网数据应用开发最佳实践——数据价值类

阿里云AIoT

数据挖掘 物联网 存储 数据管理 调度

设计消息队列存储消息数据的 MySQL 表格

Geek_7d539e

Apache APISIX 3.2.0 LTS 正式发布

API7.ai 技术团队

pytest学习和使用2-初步使用和用例运行

Python 自动化测试 pytest

1个案例读懂——游戏产品如何用A/B测试做增长

字节跳动数据平台

云服务 AB testing实战 A/B测试 企业号 3 月 PK 榜

有效载荷标识与内容类型--MQTT 5.0新特性

EMQ映云科技

物联网 IoT mqtt 企业号 3 月 PK 榜 有效载荷标识

阿里云AIoT物联网平台如何实现设备全球就近接入——设备接入类

阿里云AIoT

运维 监控 物联网 中间件 数据采集

PS 2023版本 24.2有哪些新功能?增加了哪些相机配置?

Rose

ps ps 2023 Photoshop 2023下载

实战|网站监控如何做好监测点管理与内网数据采集

云智慧AIOps社区

安全 监控 监控宝 云智慧 网站监控

BSN-DDC基础网络详解(五):接入DDC网络(2)

BSN研习社

BSN-DDC基础网络

Java 8 的异步利器:CompletableFuture源码解析(建议精读)

Java你猿哥

Java ssm java8 源码解析

大资管行业数字化转型解决方案 | 行业方案

袋鼠云数栈

大数据 数字化转型 解决方案

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