> -- Илья Ермаков писал(а):
> Ну что же тут громоздкого?Это - базовый механизм языка. Как Вы думаете, составные документы работают, чтобы что угодно вкладывалось во что угодно?Динамическая проверка типа - это не метапрограмминговые штучки, а необходимейшая конструкция современного языка. В Обероне выполняется ценой трёх косвенных обращений и одного сравнения, независимо от глубины иерархии.
Это просто не утиная типизация.

> -- Илья Ермаков писал(а):
> Ну, это старые предрассудки, всё за проценты быстродействия боремся ))

Судя по отзывам, там этих процентов не единицы, а таки сотни. Если не отрубить все эти проверки. Ну и размерчик исполняемого файла получается монструозненьким (десяток-два мегабайт).

Да, компилируется Eiffel в разы медленее того же C++. Даже если C++ с шаблонами