代码合同，你会使用它们吗？

Question

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

观看显示其使用方式的video on Channel 9。

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

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

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

更新

Spec＃的死亡我的意思是我们现在有2个不同的项目来写合同：
Spec＃是C＃的演变，它引入了新的关键字和行为;另一方面，微软刚刚发布的是一个可以与任何.Net语言一起使用的库 由于后者看起来会成为事实上的标准，我想知道它在哪里留下Spec＃

Answer 1

我认为大多数使用c＃4.0的开发人员都会自己使用它们，特别是在创建一个计划向任何人公开的库时。它可能会使您的代码在区域中更加冗长，但它的优势应该超过代码行和花费的时间。

Answer 2

你是什么意思，Spec＃的死亡？这是Spec＃的下一个演变。

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

Answer 3

说实话，在我看到你的问题之前，我不知道它们是什么。我没有看到对我的组织的适用性，所以我们可能不会使用它们。