В четверг, 7 мая, около 16 часов (MSK) регистратор заморозил домен «cyclowiki.org» без уведомления владельцев. Сайт недоступен из большинства стран. Правление изучает возможности решения проблемы.

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

Материал из Циклопедии
Перейти к навигации Перейти к поиску

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

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

  • - сорт типа
  • - сорт вида
Источник — http://cyclowiki.su/w/index.php?title=Участник:Clayrat/Сорт_(теория_типов)&oldid=162315