Общались сегодня с Mads Torgersen, из С# Design Team. В будущем релизе C# появится поддержка контрактов. Идея будет очень похожа на Spec#, проекта Microsoft Research в Кембридже. Интересно, но это особо не аннонсировалось, даже под NDA. Правда это будет не фича языка, а библиотека.

Вообще, по словам представителей различных продуктовых групп, связаных с языками, намечается сдвиг именно в сторону библиотек, что на мой взгляд разумно. Это позволяет использовать одни и те же вещи, одновременно, скажем и в C# и в F#. Если вдруг что-то становится жутко популярным – лишь тогда это будут делать встроенным в язык.

Есть так же очень осторожное движение в сторону поддержки мета-программирования, об этом говорил раньше Андерс Хейлсберг, сегодня же это подтвердил и Мэдс.