速来报名!AICon北京站鸿蒙专场~ 了解详情
写点什么

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

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

关注

评论

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

从0到1实现一套CICD流程之CD

okokabcd

后端

【Vue】悬浮窗和聚焦登录组件经验总结

游坦之

前端 vue2 10月月更

【从0到1学算法】7.直接插入排序

Geek_65222d

10月月更

K8s Helm 微服务部署利器

CTO技术共享

Kubernetes 个人成长 Helm 10月月更

【愚公系列】2022年10月 Go教学课程 031-结构体方法

愚公搬代码

10月月更

java的可变参数

TimeFriends

千锋小狮视觉“未来设计师就业实战训练营”圆满收官,2周年庆即将开启!

千锋IT教育

设计模式之建造者模式

游坦之

设计模式 java 编程 10月月更

Kubernetes Pod 底层实现方式

CTO技术共享

Kubernetes 个人成长 pod 10月月更

从《三体》到Silkpunk,这些中式科幻用什么打动了西方人?

脑极体

SAP | abap基本语法规则

暮春零贰

SAP abap 10月月更

华为王泽锋:协作创新、开源的魅力所在

科技热闻

设计模式之桥接模式

游坦之

设计模式 java 编程 10月月更

【GOF】三种工厂模式~

游坦之

设计模式 java 编程 10月月更

BizWorks助力企业应用的高效开发与复用

阿里云E2企业云服务

阿里云 开发者 云原生 低代码

前端页面之“回流重绘”

CoderBin

CSS html 面试 前端 10月月更

作为码农,如何让35岁璀璨耀眼

南极仙翁

码农 生活随想 35岁危机 35岁焦虑 10月月更

APICloud AVM 框架 纵向滚动通知栏组件

YonBuilder低代码开发平台

数字化时代,企业知识管理软件应该怎么选

Baklib

知识管理 企业知识管理工具 知识管理系统

朋友圈架构设计

Jack

架构实战训练营9期

分布式协调服务的存在意义

穿过生命散发芬芳

分布式协调 10月月更

远程办公提高效率的工具:在线协作文档

Baklib

效率 效率工具 协作文档

满足客户需求,提高客户体验:在线产品手册

Baklib

产品 推广 客户 客户体验 在线产品手册

企业团队知识如何管理?来试试这个办法!

Baklib

效率 效率工具 知识管理 团队

【Vue】Axios详解

游坦之

前端 axios vue2 10月月更

Kubernetes能否帮助解决自动化

CTO技术共享

Kubernetes 个人成长 10月月更

一起聊服务架构的演进过程

南极仙翁

架构 技术 后端 服务架构

每个系统管理员都应该知道的 6 个 Linux 网络命令

wljslmz

Linux 网络命令 10月月更 系统管理员

cstdio的源码学习分析10-格式化输入输出函数fprintf---宏定义/辅助函数分析05

桑榆

源码刨析 10月月更 C++

Serverless应用架构转型

阿泽🧸

Serverless 10月月更

JS Array数组几个循环实用方法总结

MegaQi

JavaScrip 10月月更

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