C# · 12月 22, 2021

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

这里有人经常使用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.