Spec # est-il assez stable pour être utilisé? [fermé]

Question

Quelqu'un utilise-t-il Spec # régulièrement? J'aimerais savoir s'il est stable et assez puissant avant de commencer à l'utiliser partout. Il semble que la syntaxe ait une incidence sur c # 4.0, ce qui facilitera la mise à niveau une fois la version 4.0 publiée. Des pensées?

Answer 1

Je suppose que cela dépend de ce que vous entendez par "stable". Il y a deux interprétations possibles:

1. "ne pas planter"
2. "Ne pas changer"

Je ne connais pas le n ° 1, mais si vous voulez dire le n ° 2, Spec # a été abandonné et n'est plus en cours de développement, c'est donc aussi stable que possible.

Techniques et outils utilisés dans Spec # (l'outil d'analyse statique appelé Boogie et le résolveur de théorème / contrainte Z3 ) font maintenant partie d'une nouvelle bibliothèque appelée Contrats de code pour .NET . En tant que bibliothèque, les contrats de code fonctionnent pour n'importe quel langage .NET: C #, VB.NET, F #, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo, nommez-le. L'inconvénient est que vous n'obtenez aucune intégration linguistique, donc aucune syntaxe intéressante pour les contrats.

Les contrats de code pour .NET feront partie de .NET 4.0 / Visual Studio 2010, mais malheureusement, DbC ne sera pris en charge dans aucune des langues de Microsoft.