cbp*_*cbp 6 design-by-contract spec# c#-4.0
这里有人经常使用Spec#吗？在我开始使用它之前,我想知道它是否足够稳定和强大.看起来语法正在影响c#4.0,这有望在4.0发布后更容易升级.思考？
Jör*_*tag 11
我想这取决于你所说的"稳定".有两种可能的解释:
我不知道#1,但如果你的意思是#2,那么,那么,Spec#已经被废弃并且不再被开发,所以这可能和你要的一样稳定.
Spec#(静态分析工具Boogie和定理证明器/约束求解器Z3)中使用的技术和工具现在是名为Code Contracts for .NET的新库的一部分.作为一个库的结果是Code Contracts适用于任何 .NET语言:C#,VB.NET,F#,Ruby,Python,JavaScript,Lisp,Smalltalk,Boo,你可以命名它.缺点是你没有语言集成,所以没有合适的语法.
.NET代码契约将成为.NET 4.0/Visual Studio 2010的一部分,但不幸的是,任何Microsoft语言都不会支持DbC.