Кодовые контракты и параллельные расширения. Не являются языковые возможности (это, как правило, то, чем я обычно интересуюсь), но оба могут существенно изменить способ написания кода.
DLR звучит круто и интересно, но я не уверен, что в конечном итоге я бы использовал его, по крайней мере, с точки зрения взаимодействия с IronRuby / IronPython. Было бы неплохо иметь возможность использовать позднюю привязку для уменьшения стандартного кода отражения, хотя
С точки зрения языковых особенностей C # 4, ковариация и контравариантность будут скорее "фу, которое уменьшает раздражение", чем "вау, классная штука!" но необязательные / именованные аргументы могут быть очень полезными. Это упростит написание / использование неизменяемых типов немного , хотя мне все еще нужна встроенная поддержка шаблона компоновщика:)