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?
相关问题
- How do I create a multidimensional array of object
- Save Image to file keeping aspect ratio in a WPF a
- How to detect Carriage return in a string
- How to pass in a method as a parameter?
- How to calculate the number of months between two
相关文章
- How can I show that a method will never return nul
- Can the “dynamic” type vary safely in a generic co
- Check if a datetime is in same week as other datet
- Adding additional attributes to each property of a
- How to test handling of AccessViolationException
- optional array Parameter in C# [duplicate]
- Visual Studio remote debugging on application star
-
Create Expression
> dynamically
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.