Spec＃足够稳定吗？

Question

这里有人经常使用Spec＃吗？在我开始使用它之前，我想知道它是否足够稳定和强大。 看起来语法正在影响c＃4.0，这有望在4.0发布后更容易升级。想法？

Answer 1

我想这取决于你所说的“稳定”。有两种可能的解释：

1. “没有崩溃”
2. “不改变”

我不知道＃1，但是如果你的意思是＃2，那么，Spec#已经被放弃了，不再被开发出来，所以这可能和你想要的一样稳定。

Spec#（名为Boogie的静态分析工具和定理证明者/约束求解器Z3）中使用的技术和工具现在是名为{{{{{}的新库的一部分。 3}}。作为一个库的结果是代码契约将适用于任何 .NET语言：C＃，VB.NET，F＃，Ruby，Python，JavaScript，Lisp，Smalltalk，Boo，你的名字。缺点是你没有语言集成，所以没有合适的语法。

.NET代码合约将成为.NET 4.0 / Visual Studio 2010的一部分，但不幸的是，不会有任何Microsoft语言的DbC支持。