progr. | top type | высший тип (универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов; высший тип иногда именуется универсальным супертипом, то есть все остальные типы в любой отдельно взятой системе типов являются подтипами самого верхнего Alex_Odeychuk) |