Участник:Clayrat/Сорт (теория типов)

В теории типов сорт — это тип операции конструирования вида («тип вида» или «тип третьего порядка»).

Существует два общеизвестных сорта:

• $*$ - сорт типа
• $\Box$ - сорт вида