Гайд на полиморфизм. Что там под капотом?

[cupraer]

Насколько я помню, есть еще вариант с диспетчеризацией времени компиляции, как в плюсовых шаблонах и эрланговских многоголовых функциях.

P. S. Текст прекрасный совершенно, спасибо.

[Lewigh]

Спасибо за отзыв. Так или иначе, думаю плюсовые шаблоны и эрлановкие clauses можно смело отнести к синтетике на уровне генерации кода.

[vkni]

Особенно в Хаскеле с классами типов — там девиртуализация по-умолчанию включена, тогда как в С++ умолчание другое: девиртуализации скорее нет, чем есть.

[QtRoS]

Либо я невнимательно прочитал, либо про Go в статье ничего нет. Хорошо бы поправить тэги

[Lewigh]

Не совсем так. Статья широко охватывает чуть более общие понятия реализации актуальные для всех языков. В том числе актуально и для Go в котором используется и мономорфизация для параметрического полиморфизма и упаковка для интерфейсов с использованием таблиц виртуальных функций. Так как в прошлой статье был затронут Go в части утиной типизации, решил и тэги оставить примерно такие же, так как по сути здесь раскрывается как это работает. Просто именно примеров на Go нет но все остальное также актуально. Возможно дойдут руки, напишу статью отдельно для Go, как там все устроено.