Открыть главное меню

Изменения

{{main|:en:Type class|l1=Классы типов {{ref-en}}}}
 
{{iw|Класс типов||en|Type class}} реализует единую независимую таблицу виртуальных методов для множества ([[Параметрический полиморфизм|универсально]] [[переменная типа#Связывание и квантификация переменных типа|квантифицированных]]) типов. Этим классы типов отличаются от [[класс (объектно-ориентированное программирование)|классов]] в [[Объектно-ориентированное программирование|объектно-ориентированном программировании]], где всякий объект всякого ({{iw|ограниченная квантификация|ограниченно|en|Bounded quantification}} [[переменная типа#Связывание и квантификация переменных типа|квантифицированного]]) типа сопровождается указателем на таблицу виртуальных методов{{sfn|Wadler - How to make ad-hoc polymorphism less ad hoc|с=3}}. Классы типов являются не типами, но категориями типов; их инстансыэкземпляры представляют собой не значения, а типы.
 
Например{{sfn|Wadler - How to make ad-hoc polymorphism less ad hoc|с=3}}:
Анонимный участник