Кодовые контракты были на протяжении всей блогосферы еще до выпуска .NET 4, компоненты времени исполнения, включенные в .NET 4, и статические проверки, доступные в более дорогих версиях Visual Studio 2010.
Похоже, что шум вокруг контрактов с кодом сократился, но люди используют его в производстве? Выполняется ли какая-либо работа над этим из Microsoft Research?