тут важны не сами по себе определения, а сама идея понятия полиморфизм, огрехи в изложении есть конечно, я не гнался за точностью формулировок всего разнообразия полиморфизмов
чисто для удобства
https://ru.wikipedia.org/wiki/Параметрический_полиморфизм
там куча видов/типов/подтипов полиморфизмов
как я понимаю полиморфизм?
это значит вход может быть из некоторого допустимого перечня или допустимого диапазона входов, это уже полиморфизм
подаем на вход константу, это одно (можно считать полиморфизмом, можно не считать)
подаем на вход переменную вместо константы, это уже полиморфизм
подаем на вход переменные разных типов, это тоже полиморфизм
подаем на вход разное количество параметров, это тоже полиморфизм
и т.д. получаем кучу всяких полиморфизмов
когда возникает много похожих определений, то требуется обычно обобщение, метасистемный переход
ну и получается, что когда процедура/функция/программа получает какойто вход и если она безразлична ко многим свойствам входа (к структуре и количеству), то это полиморфизм
полиморфизм на мой взгляд тесно связан с гомоморфизмами и изоморфизмами, классами эквивалентности
т.е. некую совокупность сущностей мы считаем сущностями одинакового типа, которые допустимы в данном случае
(говоря языком ООП один класс, один тип и т.п.)
"Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур."
https://ru.wikipedia.org/wiki/Изоморфизм
полиморфизм помогает обобщать, полиморфизм это вид обобщений, полиморфизм дает универсальность входов и универсальность использования инструмента (перегрузка операторов), имхо
ну вот например мы на вход принимаем все объекты неразличимые с точностью до изоморфизма (какогото конкретного, например нечетные числа), это означает, что процедура полиморфна к своим входам
и т.п.
полиморфизм высшего типа видимо это полная бесструктурность входа, на вход можем давать все что угодно
в этом плане человек обладает универсальным полиморфизмом )) видимо
полиморфизм структур это похоже бесструктурность
а полиморфизм смыслов? бессмысленность?