Что случилось с кодовыми контрактами?

Кодовые контракты были на протяжении всей блогосферы еще до выпуска .NET 4, компоненты времени исполнения, включенные в .NET 4, и статические проверки, доступные в более дорогих версиях Visual Studio 2010.

Похоже, что шум вокруг контрактов с кодом сократился, но люди используют его в производстве? Выполняется ли какая-либо работа над этим из Microsoft Research?

Ответ 1

Посмотрев на странице проекта , последний релиз был 2 июня 2011 года, что кажется мне довольно недавним.

Итак, я думаю, что он все еще работает. Будет ли он когда-либо делать значительные успехи в среднем кодовом магазине? Слишком рано говорить. Иногда я вижу вопросы о переполнении стека, предполагая, что он все еще используется в некоторых местах, но я не видел столько доказательств, сколько мне понравилось.

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

Ответ 2

Он по-прежнему используется в самой .NET Framework (по крайней мере, начиная с версии 4.51). В качестве примера рассмотрим реализацию класса System.Text.StringBuilder.