Здравствуйте, AlexRK, Вы писали:

ARK>Вопрос очень широко поставлен, уточните пожалуйста более детально, что вас интересует — синтаксис, семантика, "абстрактно вообще" или "конкретно в С#", или еще что-то, я попробую ответить.

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

ARK>Вообще взамен предлагаются интерфейсы без наследования и генерик-методы с констраинтами на несколько интерфейсов.

Это не решает проблемы динамической диспетчеризации никак.