Действительно ли Spec# достаточно стабилен для использования? [закрытый]
Вы установили quippy?
в своем виртуальном env run
pip install quippy
В большинстве случаев исключение NoModuleFound связано с отсутствием установленного пакета python в вашей среде. [113 ]
1 ответ
Я предполагаю, что это зависит от того, под чем Вы подразумеваете "стабильный". Существует две возможных интерпретации:
- "не катастрофический отказ"
- "не изменение"
Я не знаю о № 1, но если Вы имеете в виду № 2, затем, ну, в общем, от Spec# отказались и больше не разрабатывают, таким образом, это, вероятно, так стабильно, как Вы собираетесь добираться.
Методы и инструменты, которые использовались в Spec# (инструмент статического анализа под названием Буги-вуги и программа автоматического доказательства теоремы / ограничительный решатель Z3) являются теперь частью новой библиотеки под названием Контракты Кода для.NET. Результат того, чтобы быть библиотекой - то, что Контракты Кода будут работать на любой язык.NET: C#, VB.NET, F#, Ruby, Python, JavaScript, Lisp, Smalltalk, Шиканье, Вы называете его. Оборотная сторона - то, что Вы не получаете интеграции языка, таким образом, никакой хороший синтаксис для контрактов.
Контракты кода для.NET будут частью.NET 4.0 / Visual Studio 2010, но к сожалению не будет никакой поддержки DbC ни на одном из языков Microsoft.