Высший тип (top type) в теории типов, часто обозначаемый как просто вершина или «закрепленным» символом (⊤), — универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов. Высший тип иногда именуется универсальным супертипом, то есть все остальные типы в любой отдельно взятой системе типов являются подтипами самого верхнего. Это является противоположностью нижайшего типа, или иначе именуемого универсальным подтипом, который представляет собой тип, не содержащий в себе никаких вложенных членов (то есть у него нет подтипов). (Википедия)
Высший тип (top type) в теории типов, часто обозначаемый как просто вершина или «закрепленным» символом (⊤), — универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов. Высший тип иногда именуется универсальным супертипом, то есть все остальные типы в любой отдельно взятой системе типов являются подтипами самого верхнего. Это является противоположностью нижайшего типа, или иначе именуемого универсальным подтипом, который представляет собой тип, не содержащий в себе никаких вложенных членов (то есть у него нет подтипов).
Все значения словосочетания «высший тип»Философия является высшим типом мировоззрения, обладающим теоретическим обоснованием и основанным на системном подходе и рациональном мышлении.
Разумное существо – это существо осознанное, выражающее высший тип мыслительной деятельности, обладающее свободным выбором и демонстрирующее духовно-нравственное поведение.
Школы высшего типа давали, кроме чтения, письма и богословия, знания по философии, риторике, грамматике.