XC>> Чтобы эти высокоуровневые конструкции задавали какие-то ограничения на код (вроде в VS2010 сделали какую-то фичу, с помощью которой можно ограничивать связность разных частей программы... хочу нечто подобное, но на уровне языка и с бОльшим количеством возможностей)

AVK>Code contracts имеют весьма опосредованное отношение к проектированию. Это средство контроля корректности реализации. Пока у тебя нет того самого мелкого кода, контракты не нужны.

Не исключено, что x-code имеет ввиду MEF. Но это тоже далеко не панацея от всех бед

XC>> В среду разработки, да и в язык, должен быть встроен по сути "аутлайнер" с возможностью организовывать деревья, с навигацией по тегам и т.п. фичами. Чтобы можно было без проблем одному человеку разбираться в сверхбольших проектах, написаных множеством людей.

AVK>Чорт в деталях, т.е. в том, что это за фичи. Да, для VS2010 кое что уже есть из твоего списка, многое умеет решарпер.

Можно ещё на DSL посмотреть, недавнего Фаулера покурить. IntentSoft IP, JetBrains MPS, Oslo, M. Дело к тому идёт, просто пока ещё не научились это толково делать.