Ist Spec # stabil genug zu bedienen? [geschlossen]
-
22-07-2019 - |
Frage
Hat jemand hier verwenden Spec # regelmäßig? Ich würde gerne wissen, ob es stabil und leistungsfähig genug ist, bevor ich benutze es überall beginnen. Es sieht aus wie die Syntax c 4.0 # Beeinflussung, die hoffentlich leichter machen wird es einmal ein Upgrade 4.0 veröffentlicht wird. Gedanken?
Lösung
Ich denke, es hängt davon ab, was Sie mit „stabil“. Es gibt zwei mögliche Interpretationen:
- "nicht abstürzt"
- "nicht zu ändern"
Ich weiß nicht, über 1 #, aber wenn du meinst # 2, dann, na ja, Spec # aufgegeben wurde und wird nicht mehr weiterentwickelt, so das ist wahrscheinlich so stabil wie man kriegt.
Die Techniken und Werkzeuge, die in Spec # (das statische Analyse-Tool namens Boogie und die Theorembeweisers / Constraintlöser Z3 ) ist nun Teil einer neuen Bibliothek mit dem Namen Code-Verträge für .NET . Das Ergebnis des Seins ist eine Bibliothek, die Code Verträge funktionieren jeder .NET-Sprache: C #, VB.NET, F #, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo, Sie nennen es. Der Nachteil ist, dass Sie keine Sprachintegration erhalten, so dass keine nette Syntax für Verträge.
Code-Verträge für .NET werden Teil von .NET 4.0 / Visual Studio 2010 sein, aber leider gibt es keine DBC-Unterstützung in eines der Microsoft-Sprache sein.