теория типов

Система подструктурного типа Безопасность типов и системы подструктурных типов Системы подструктурных типов ограничивают доступ к ресурсам, отслеживая изменения состояния.  Существуют […]

Теория типов ST Основы теории типов Мендельсона Теория типов Мендельсона (1997) является логикой первого порядка с иерархией типов.  Все индивиды

Индукция-induction Основы индукции в ITT Индукция в ITT — это одновременное определение типа и предиката.  Правила генерации элементов типа могут

Индукция-рекурсия Основы индукционно-рекурсивной теории типов Индукционно-рекурсия позволяет одновременно объявлять тип и функцию для этого типа.  Созданные типы остаются предикативными, но

Тип удостоверения личности Основы теории типов Тип идентификатора в теории типов представляет равенство.  Равенство в теории типов отличается от субъективного

Тип уникальности Безопасность типа и уникальность Уникальность типа гарантирует однопоточное использование объекта и предотвращает множественные ссылки.  Уникальные типы оптимизируют обновления

Конструктор типов Конструктор типов — функция в теории типов, создающая новые типы из старых.  Базовые типы создаются с использованием конструкторов