规格＃稳定足够使用？ [英] Is Spec# stable enough to use?
问题描述
这里有人经常使用Spec＃吗？我想知道它是否稳定和强大，我开始使用它无处不在。
它看起来像语法影响c＃4.0，这将有希望使它更容易升级一旦4.0发布。想法？
Does anyone here use Spec# regularly? I would like to know if it is stable and powerful enough before I start using it everywhere. It looks like the syntax is influencing c# 4.0, which will hopefully make it easier to upgrade once 4.0 is released. Thoughts?
推荐答案
我想这取决于你的意思是稳定。有两种可能的解释：
I guess it depends on what you mean by "stable". There are two possible interpretations:
- 不崩溃
- 不更改
我不知道＃1，但如果你的意思是＃2，那么， Spec＃已被放弃，不再开发，因此它可能与您要获得的一样稳定。
I don't know about #1, but if you mean #2, then, well, Spec# has been abandoned and is no longer being developed, so that's probably as stable as you're gonna get.
规格＃（静态分析工具）中使用的技术和工具称为 Boogie 和定理证明者/约束解算器 Z3 ）现在是一个名为 .NET代码合同。作为图书馆的结果是代码合同将工作于任何 .NET语言：C＃，VB.NET，F＃，Ruby，Python，JavaScript，Lisp，Smalltalk，Boo，你命名。缺点是你没有语言集成，所以没有合适的语法。
The techniques and tools that were used in Spec# (the static analysis tool called Boogie and the theorem prover / constraint solver Z3) are now part of a new library called Code Contracts for .NET. The upshot of being a library is that Code Contracts will work for any .NET language: C#, VB.NET, F#, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo, you name it. The downside is that you get no language integration, so no nice syntax for contracts.
.NET的代码合约将是.NET 4.0 / Visual Studio 2010的一部分，但是不幸的是，没有任何微软语言的DbC支持。
Code Contracts for .NET will be part of .NET 4.0 / Visual Studio 2010, but unfortunately there will be no DbC support in any of Microsoft's languages.
这篇关于规格＃稳定足够使用？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
