.net - 代码合同，你会用吗？

Question

Microsoft 刚刚发布了Code Contracts，这是一个与 Visual Studio 集成的工具，允许您为 .Net 代码定义合同并获得运行时和编译时检查。

观看第 9 频道上的视频，了解如何使用它。

现在它是一个附加组件，但它将成为 .Net 4.0 中基类库的一部分

这是你看到自己使用的东西吗？

我想知道这是否意味着Spec#的死亡？

更新

我所说的 Spec# 的消亡是指我们现在有两个不同的项目来编写合约：
Spec# 是 C# 的演变，它引入了新的关键字和行为；另一方面，微软刚刚发布的是一个可以与任何.Net 语言一起使用的库。
由于后者看起来将成为事实上的标准，我想知道 Spec#

Answer 1

我认为大多数使用 c# 4.0 的开发人员都会使用它们，包括我自己，尤其是在创建您计划向任何人公开的库时。它可能会使您的代码在某些方面更加冗长，但它的优势应该超过代码行数和花费的时间。

Answer 2

Spec#之死是什么意思？这是 Spec# 的下一个演变。

而且，是的，我打算使用它们。

Answer 3

老实说，直到我看到你的问题，我才知道它们是什么。我看不到对我的组织的适用性，所以我们可能不会使用它们。