这里有人经常使用 Spec# 吗？在我开始到处使用它之前，我想知道它是否足够稳定和强大。看起来语法正在影响 c# 4.0，希望在 4.0 发布后更容易升级。想法？
问问题
497 次
1 回答
11
我想这取决于您所说的“稳定”是什么意思。有两种可能的解释：
- “不崩溃”
- “不变”
我不知道#1，但如果你的意思是#2，那么，Spec#已经被放弃并且不再被开发，所以这可能和你将得到的一样稳定。
Spec#中使用的技术和工具（名为Boogie的静态分析工具和定理证明器/约束求解器Z3）现在是名为Code Contracts for .NET的新库的一部分。作为一个库的结果是代码契约适用于任何.NET 语言：C#、VB.NET、F#、Ruby、Python、JavaScript、Lisp、Smalltalk、Boo，应有尽有。缺点是你没有语言集成，所以合约没有好的语法。
.NET 的代码合同将成为 .NET 4.0 / Visual Studio 2010 的一部分，但不幸的是，微软的任何语言都不会支持 DbC。
于 2009-01-12T23:40:14.883 回答