> -- Илья Ермаков писал(а):
> Давайте так: расширение типа является средством структурирования данных, а даже и кода (за счёт полиморфизма параметров)?А может оно быть воспроизведено, например, в Модула-2 без уж очень "экзистенциальных" изворотов?Виртуализация вызова от ООП - может. Сокрытие информации и так уж сто лет в модулях...То есть Вы рассматриваете только мэйнстримные, "обычные" языки? Так я и подумал...
А то ведь есть и языки с полиморфными типами и функциями и без всякого ООП и расширения типов...
Причём с вполне статической типизацией...