Полиморфизм (информатика): различия между версиями

Двойственность содержания термина {{nobr|«''ad hoc полиморфизм''»}} долгие годы была заслуженной{{sfn|Wadler - How to make ad-hoc polymorphism less ad hoc|с=1-2}}. Стрэчи выбрал этот термин, руководствуясь первым значением — в работе он подчеркивает, что при {{nobr|ad hoc}} полиморфизме нет единого систематичного способа вывести тип результата из типа аргументов, и хотя возможно построение определённого набора правил для сужения спектра его поиска, но эти правила по своей природе являются спонтанными как по содержанию, так и по контексту применения{{sfn|Strachey - Fundamental Concepts|1967}}.

 

 

Тем не менее, определение специальных реализаций функций для разных типов в некоторых случаях является ''необходимостью'', а не случайностью. Классическими примерами служат реализация арифметических операций (физически различная для [[Целый тип|целых]] и [[Число с плавающей запятой|чисел с плавающей запятой]]) и {{iw|Интуиционистская теория типов#Равенство типов|равенства типов|en|Intuitionistic type theory#Equality type}}, которые на протяжении десятилетий не имели общепринятой универсальной формализации. Решением стали [[Класс типов|классы типов]]{{переход|#Классы типов|text}}, представляющие собой механизм явного дискретного перечисления допустимых значений [[Переменная типа|переменных типа]] для статической диспетчеризации в слое типов. Это сводит воедино две разновидности полиморфизма, разделённые Стречи, и «''делает {{nobr|ad hoc полиморфизм}} менее {{nobr|ad hoc}}''»{{sfn|Wadler - How to make ad-hoc polymorphism less ad hoc|с=1-2}} ([[игра слов|игра]] на двойственности смысла).

 

 

== Основные разновидности полиморфизма ==