Кодекс Контракты, вы будете их использовать?

Question

Microsoft только что выпустила Code Contracts , инструмент, который интегрируется с Visual Studio и позволяет вам определять контракты для вашего кода .Net и получать проверки времени выполнения и времени компиляции.

Посмотрите видео на канале 9 , в котором показано, как оно используется.

Пока это дополнение, но оно будет частью библиотеки базовых классов в .Net 4.0

Это то, что вы сами видите?

Интересно, означает ли это смерть Spec # ?

Обновление

Что я имею в виду под смертью Spec #, так это то, что теперь у нас есть 2 разных проекта для написания контрактов:
Spec # является развитием C # и вводит новые ключевые слова и поведение; с другой стороны, Microsoft выпустила библиотеку, которую можно использовать с любым языком .Net.
Поскольку последнее выглядит так, как будто оно станет стандартом де-факто, мне интересно, где это оставляет Spec #

Answer 1

Я думаю, что большинство разработчиков, использующих c # 4.0, будут использовать их самостоятельно, особенно при создании библиотеки, которую вы планируете показать любому. Это может сделать ваш код более многословным в областях, но его преимущества должны перевесить строки кода и затраченное время.

Answer 2

Что вы имеете в виду, смерть Spec #? Это следующая эволюция Spec #.

И, да, я планирую использовать их.

Answer 3

Если честно, я понятия не имел, что это такое, пока не увидел твой вопрос. Я не вижу применимости к моей организации, поэтому мы, вероятно, не будем их использовать.