progr. |
type class (реализует единую независимую таблицу виртуальных методов для множества (универсально квантифицированных) типов. Этим классы типов отличаются от классов в объектно-ориентированном программировании, где всякий объект всякого (ограниченно квантифицированного) типа сопровождается указателем на таблицу виртуальных методов. Классы типов являются не типами, но категориями типов; их экземпляры представляют собой не значения, а типы Alex_Odeychuk); derivation class (в языке программирования Ada 2012 включает в себя корневой тип, а также все производные от него типы Alex_Odeychuk); class of types (Alex_Odeychuk) |