Является ли SpeC# достаточно стабильным для использования?

Question

Кто-нибудь здесь регулярно использует SpeC#? Я хотел бы знать, достаточно ли он стабилен и силен, прежде чем начать его везде использовать. Похоже, что синтаксис влияет на C# 4.0, что, надеюсь, облегчит обновление после выхода 4.0. Мысли?

Answer 1

Я думаю, это зависит от того, что вы подразумеваете под "стабильным". Есть две возможные интерпретации:

1. "не сбой"
2. "не меняется"

Я не знаю насчет #1, но если вы имеете в виду #2, то, конечно, SpeC# был заброшен и больше не разрабатывается, так что это, вероятно, так же стабильно, как и вы.

Методы и инструменты, которые использовались в SpeC# (инструмент статического анализа под названием Boogie и средство проверки теорем / ограничителя Z3), теперь являются частью новой библиотеки под названием Code Contracts for.NET. Результатом существования библиотеки является то, что Code Contracts будет работать для любого языка.NET: C#, VB.NET, F#, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo. Недостатком является отсутствие языковой интеграции, поэтому нет приятного синтаксиса для контрактов.

Контракты на кодирование для.NET будут частью.NET 4.0 / Visual Studio 2010, но, к сожалению, поддержка DbC не будет поддерживаться ни на одном из языков Microsoft.