Карта словосочетания «высший тип»

Значение словосочетания «высший тип»

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

    Все значения словосочетания ВЫСШИЙ ТИП

Карта

Развёрнутое толкование значения слов и словосочетаний, примеры употребления в различных значениях, фразеологизмы и устойчивые сочетания.

Синонимы и сходные по смыслу выражения, прямые и обратные ассоциации, информация о сочетаемости.

Примеры употребления в контексте из современных источников и из русской классической литературы.

Информация о правописании, таблицы склонения имён и спряжения глаголов, разбор по составу с графической схемой и указанием списка сходных по морфемному строению слов.

Высказывания известных людей, избранные цитаты из произведений культуры.

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я