Code contracts 基于合同的编程_Code Contracts_Spec#

Code contracts 基于合同的编程

Code contracts 基于合同的编程,code-contracts,spec#,Code Contracts,Spec#,有人能解释一下，关于代码契约，Spec#可能会进入C#4.0的概念吗什么是代码契约（看起来是编译时检查模式）我应该为此感到兴奋吗假设我们将运行时检查转移到编译时，对吗谢谢下面是对代码契约的一个很好的描述。听起来主要的好处是：改进的可测试性静态验证 API文档（代码）我个人是一个叫Bertrand Meyer的人的超级粉丝，他写了一本书，书名为《埃菲尔》，并创造了一种叫做“埃菲尔”的语言，支持合同设计或基于合同的编程代码契约是两个软件实体之间的一种协议，可以交互，也可以不交

有人能解释一下，关于代码契约，Spec#可能会进入C#4.0的概念吗

什么是代码契约（看起来是编译时检查模式）
我应该为此感到兴奋吗
假设我们将运行时检查转移到编译时，对吗

谢谢

下面是对代码契约的一个很好的描述。听起来主要的好处是：

改进的可测试性
静态验证
API文档（代码）

我个人是一个叫Bertrand Meyer的人的超级粉丝，他写了一本书，书名为《埃菲尔》，并创造了一种叫做“埃菲尔”的语言，支持合同设计或基于合同的编程

代码契约是两个软件实体之间的一种协议，可以交互，也可以不交互。或多或少像接口，但更精确

我不确定是否每个人都应该或会对此感到兴奋

你的假设有点正确

你可能想看这一系列视频

。NetRocks的播客很不错。我听了已经一年了，但我敢肯定他们会谈论你的第一个和最后一个要点。快速浏览一下spec#是值得的。链接：