deep-econom

как я понимаю полиморфизм (вынесено из комментариев)
тут важны не сами по себе определения, а сама идея понятия полиморфизм, огрехи в изложении есть конечно, я не гнался за точностью формулировок всего разнообразия полиморфизмов

чисто для удобства
https://ru.wikipedia.org/wiki/Параметрический_полиморфизм
там куча видов/типов/подтипов полиморфизмов
( Collapse )

соберу сюда родственные темы возникшее в последнее время и ранее

---
заодно еще выскажу пару мыслей по всем этим темам
полиморфизм похоже должен быть во всем, это отражение одного из главных свойств моделей, если модель охватывает некоторую область, то она обладает в некоторой степени полиморфизмом
полиморфизм дает гибкость, универсальность, абстрагирование, обобщение

соответственно ограничения полиморфизмов должны диктоваться удобностью использования моделей (конструкция языка программирования) и во вторую очередь эффективностью (вычислительной/исполнительской эффективностью)
оговорка: понятно, что есть задачи, когда эффективность стоит на первом месте

точно также язык программирования должен быть весьма высокоуровневым и обладать высокой степенью полиморфности, не следует ее ограничивать, но когда нужна эффективность, то нужно в том же языке давать программисту конструкции позволяющие строить код по его усмотрению, давать управление памятью, давать статическую типизацию, ограничивать полиморфность и т.п.
все ИМХО

( Collapse )