Spec# 是否足够稳定，可以使用？
这里有人经常使用 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?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
我想这取决于你所说的“稳定”是什么意思。 有两种可能的解释：
我不知道#1，但如果你的意思是#2，那么，Spec# 已被放弃并且不再被开发，所以这可能是你能得到的最稳定的。
Spec# 中使用的技术和工具（名为 Boogie 和定理证明器/约束求解器 Z3) 现在是名为 Code Contracts 的新库的一部分对于.NET。 作为一个库的结果是，代码契约适用于任何 .NET 语言：C#、VB.NET、F#、Ruby、Python、JavaScript、Lisp、Smalltalk、Boo，凡是你能想到的语言。 缺点是您无法进行语言集成，因此合约没有良好的语法。
.NET 的代码契约将成为 .NET 4.0 / Visual Studio 2010 的一部分，但不幸的是，任何 Microsoft 语言都不会支持 DbC。
I guess it depends on what you mean by "stable". There are two possible interpretations:
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.
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.
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.