Что случилось с Кодексом Контрактов?
Контракты кода были во всей блогосфере несколько лет назад до выпуска.NET 4, компоненты времени выполнения, включенные в.NET 4, и статическая проверка, доступные в более дорогих выпусках Visual Studio 2010.
Шум вокруг контрактов на код, похоже, угас, люди используют его в производстве? Делается ли над этим какая-либо работа из Microsoft Research?
2 ответа
Глядя на страницу проекта, последний выпуск был 2 июня 2011 года, что кажется мне довольно недавним.
Так что да, я думаю, что это все еще продолжается. Сможет ли он когда-нибудь значительно проникнуть в обычный магазин кода? Пока рано говорить. Иногда я вижу вопросы о переполнении стека, предполагая, что он все еще используется в некоторых местах - но я не видел столько доказательств использования, сколько мне бы очень хотелось.
Я подозреваю, что это один из тех инструментов, который действительно полезен в одних ситуациях, и немного болезненен в других, а также гораздо более полезен в проектах с нуля, чем в проектах с нуля.
Он все еще используется в самой.NET Framework (по крайней мере, с версии 4.51). Для примера взглянем на реализацию System.Text.StringBuilder учебный класс.