c#-4.0 – Spec#足够稳定吗？

概述这里有人经常使用Spec#吗？在我开始使用它之前,我想知道它是否足够稳定和强大. 看起来语法正在影响c#4.0,这有望在4.0发布后更容易升级.思考？ 我想这取决于你所说的“稳定”.有两种可能的解释： >“没有崩溃” >“不改变” 我不知道#1,但如果你的意思是#2,那么,好吧,Spec#已经被废弃并且不再被开发,所以这可能和你要的一样稳定. Spec#中使用的技术和工具(称为Boogie的静态分 这里有人经常使用Spec#吗？在我开始使用它之前,我想知道它是否足够稳定和强大.
看起来语法正在影响c#4.0,这有望在4.0发布后更容易升级.思考？解决方法 我想这取决于你所说的“稳定”.有两种可能的解释：

>“没有崩溃”
>“不改变”

我不知道#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的一部分,但不幸的是,任何Microsoft语言都不会支持DbC.

总结

以上是内存溢出为你收集整理的c#-4.0 – Spec#足够稳定吗？全部内容，希望文章能够帮你解决c#-4.0 – Spec#足够稳定吗？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。