Участник:Clayrat/Сорт (теория типов)
Перейти к навигации
Перейти к поиску
В теории типов сорт — это тип операции конструирования вида («тип вида» или «тип третьего порядка»).
Существует два общеизвестных сорта:
- Невозможно разобрать выражение (SVG с запасным PNG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle *} - сорт типа
- Невозможно разобрать выражение (SVG с запасным PNG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \Box} - сорт вида