Здравствуйте, TK, Вы писали:

TK>Исключения это часть контракта. А code contracts это в первую очередь инструмент для описания и контроля за строгим соблюдением.

К сожалению, нет. CC — это попытка натянуть contract-driven подход на неприспособленный к этому рантайм, систему типов и язык. Плюс сделанная очень малыми силами и людьми без опыта энтерпрайз-разработки.

В Code Contracts тонны принципиально неверных решений, которые никогда не сделает человек с опытом поддержки большого по объему кода. По умолчанию бросаются неотлавливаемые исключения, необходимость дублировать контракты в перегрузках и самое обидное — нестабильная работа статической верификации. От версии к версии в нём постоянно что-то ломается, т.е. нельзя просто обновить библиотеку и надеяться на отсутствие ложных срабатываний/не срабатываний.

В общем в теории оно как бы и да, на практике, без очень веских причин — нет.