Перейти к содержанию
Главное меню
Главное меню
переместить в боковую панель
скрыть
Навигация
Заглавная страница
Пантеон
Свежие правки
Новые страницы
Случайная страница
Форум
Стать редактором Руни
Сообщить об ошибке/нарушении:
Через Телеграм
Электронной почтой
Через VK-чат
Поддержать Руниверсалис:
Подарком через Юmoney
Руни в соцсетях:
Телеграм
ВКонтакте
Одноклассники
Дзен
In English:
Runiversalis
Поиск
Найти
Войти
Персональные инструменты
Войти
Руниверсалис
в финале премии
Герои Рунета-2024
🎉 Голосуем на
героирунета.рф
!
Категория
:
Теория типов
Категория
Обсуждение
русский
Читать
Просмотр кода
История
Инструменты
Инструменты
переместить в боковую панель
скрыть
Действия
Читать
Просмотр кода
История
Общие
Ссылки сюда
Связанные правки
Служебные страницы
Версия для печати
Постоянная ссылка
Сведения о странице
Справка
Материал из энциклопедии Руниверсалис
Основная статья:
Теория типов
Страницы в категории «Теория типов»
Показано 38 страниц из 38, находящихся в данной категории.
А
Абстрактный класс
Абстрактный тип данных
Алгебраический тип данных
В
Высший тип
Г
Гомотопическая теория типов
З
Зависимый тип
Значение (информатика)
И
Интуиционистская теория типов
Исчисление конструкций
К
Класс типов
Ковариантность и контравариантность (программирование)
Конструктор (функциональное программирование)
Конструктор типов
Н
Низший тип
П
Параметрический полиморфизм
Переменная типа
Полнотиповое программирование
Последовательная типизация
Примитивный тип
Просто типизированное лямбда-исчисление
Простой тип
Р
Род (теория типов)
С
Сильная и слабая типизация
Система типов
Система F
Сложный тип
Соответствие Карри — Ховарда
Статическая типизация
Т
Теория типов
Тип-произведение
Тип-сумма
Тип, гарантирующий уникальность
Типаж (абстрактный тип)
Типобезопасность
У
Утиная типизация
Ф
Функциональный тип
Ч
Чистая система типов
V
Void
Категории
:
Математическая логика
Научные концепции
Теория языков программирования
Отобразить/Скрыть ограниченную ширину содержимого