Параметрический полиморфизм
Параметрический полиморфизм в языках программирования и теории типов — свойство семантики системы типов, позволяющее обрабатывать значения разных типов идентичным образом, то есть исполнять физически один и тот же код для данных разных типов.

Параметрический полиморфизм считается «истинной» формой полиморфизма, делая язык более выразительным и существенно повышая коэффициент повторного использования кода. Традиционно ему противопоставляется ad-hoc-полиморфизм, предоставляющий единый интерфейс к потенциально "различному" коду для разных допустимых в данном контексте типов, потенциально (статически или динамически). В ряде исчислений, например, в теории квалифицированных типов, ad-hoc-полиморфизм рассматривается как частный случай параметрического.

Параметрический полиморфизм лежит в основе систем типов языков семейства ML; такие системы типов называют полиморфными. В сообществах языков с неполиморфными системами типов (потомки Алгола и BCPL) параметрически полиморфные функции и типы называют «обобщёнными».
Q9143
языках программирования
Concept
Q1056428
теории типов
Concept
Q865760
системы типов
Concept
Q190087
типов
MISC
Q3240252
полиморфизма
Concept
Q771245
повторного использования кода
Concept
Q3240252
ad-hoc-полиморфизм
Concept
Q13424799
статически
UNK
Q1958737
динамически
UNK
None
квалифицированных типов
UNK
Q865760
систем типов
Concept
Q860654
ML
MEDIA
Q865760
системы типов
Concept
Q865760
системами типов
Concept
Q188436
Алгол
Concept
Q810009
BCPL
MEDIA
Q1051282
обобщёнными
Concept
Q7135231
Параметрический полиморфизм
Concept
Q7135231
Параметрический полиморфизм
Concept
Q7135231
Параметрический полиморфизм
Concept
subclass of
subclass of
subclass of
subclass of
subclass of
facet of