规格足够稳定吗？

Question

有人在这里定期使用Spec＃吗？我想知道它在我开始在任何地方使用之前是否稳定和足够强大。 它看起来像语法正在影响C＃4.0，这将有助于4.0发布后更容易升级。思考？

Answer 1

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

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

我不知道＃1，但如果你的意思是＃2，然后，嗯，Spec#已经被放弃，不再被开发，所以这可能会像你想要的那样稳定。

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

的.NET代码契约将是Studio 2010中的.NET 4.0的一部分/视觉，但不幸的是会有任何微软的语言没有DbC的支持。