Теория типов с записями
- Теория типов с записями используется в обработке естественного языка и вычислительной семантике.
- Тип записи состоит из набора полей, где метки полей уникальны внутри одного типа записи.
- Запись содержит объекты, а не типы, и каждый объект должен иметь тип, объявленный в соответствующем поле.
- Пример типа Pt включает поля для различных объектов и операций.
- Статья о семантике является заглушкой и предлагает возможность расширения для помощи Википедии.
Полный текст статьи:
Теория типов с записями — Википедия
Похожие статьи:
- Система типов Оглавление1 Система типов1.1 Системы типов в программировании1.2 Цели систем типов1.3 Пример системы типов: язык Си1.4 Теория...
- Система типов Оглавление1 Type system1.1 Типы систем в программировании1.2 Примеры использования1.3 Типы и их значение1.4 Преимущества и недостатки1.5...
- Агентство США по международному развитию Оглавление1 Агентство Соединенных Штатов по международному развитию1.1 История и цели USAID1.2 Программы и деятельность1.3 Техническая и...
- Магнитное поле – Arc.Ask3.Ru Оглавление1 Magnetic field1.1 Определение магнитного поля1.2 Математическое описание1.3 Взаимодействие с другими полями1.4 Измерение и визуализация1.5 Применение...
- Сверхновая – Arc.Ask3.Ru Оглавление1 Сверхновая звезда1.1 Определение и происхождение сверхновых1.2 История наблюдений1.3 Механизмы и последствия1.4 Этимология и классификация1.5 Современные...
- Тип юнита Оглавление1 Тип устройства1.1 Основы теории типов1.2 Реализация типов в языках программирования1.3 Различия между типом unit и...
- Математическая формулировка Стандартной модели Оглавление1 Mathematical formulation of the Standard Model1.1 Основные понятия1.2 Квантовая теория поля1.3 Альтернативные представления полей1.4 Киральная...
- Теория типов Оглавление1 Теория типов1.1 Основы теории типов1.2 История и развитие1.3 Основные понятия1.4 Применение и интерпретация1.5 Связь с...
- Первая помощь Оглавление1 Первая помощь1.1 Определение первой медицинской помощи1.2 История первой помощи1.3 Формализация методов лечения1.4 Развитие первой помощи...
- Система типов Оглавление1 Система типов1.1 Основы типов данных1.2 Системы типов и их классификация1.3 Безопасность типов и памяти1.4 Дополнительные...
- Вид (теория типов) Оглавление1 Вид (теория типов)1.1 Основы системы типов Haskell1.2 Виды в Haskell1.3 Заполненные типы и конструкторы1.4 Примеры...
- Запись (информатика) Оглавление1 Запись (информатика)1.1 Определение и использование записей1.2 История и развитие1.3 Операции с записями1.4 Сравнение и назначение1.5...
- Исходное поле – Arc.Ask3.Ru Оглавление1 Исходное поле1.1 Теория источников Швингера1.2 Математическая формулировка1.3 Связь с интегралом по траекториям1.4 Примеры и приложения1.5...
- Супергравитация Оглавление1 Супергравитация1.1 Проблема иерархии1.2 Теория Бранса–Дикке1.3 Технический цвет1.4 Гипотеза математической вселенной1.5 Вдвойне специальная теория относительности1.6 Калибровочная...
- Супергравитация Оглавление1 Супергравитация1.1 Проблема иерархии1.2 Теория Бранса–Дикке1.3 Технический цвет1.4 Гипотеза математической вселенной1.5 Вдвойне специальная теория относительности1.6 Калибровочная...
- Поле алгебраических чисел Оглавление1 Поле алгебраических чисел1.1 Определение алгебраического числового поля1.2 Примеры алгебраических числовых полей1.3 Не являющиеся примерами алгебраических...
- Тип удостоверения Оглавление1 Тип удостоверения личности1.1 Основы теории типов1.2 Сравнение с субъективным равенством1.3 Применение типа идентичности1.4 Версии типа...
- История квантовой теории поля Оглавление1 История квантовой теории поля1.1 История квантовой теории поля1.2 Ранние разработки1.3 Включение специальной теории относительности1.4 Снова...
- Интуиционистская теория типов Оглавление1 Интуиционистская теория типов1.1 Основы теории типов1.2 Типы и объекты1.3 Суждения и доказательства1.4 Категориальные модели1.5 Полный...
- Алгебра фон Неймана Оглавление1 Алгебра Фон Неймана1.1 Определение алгебр фон Неймана1.2 История и примеры1.3 Основные свойства1.4 Терминология и классификация1.5...
- Пустой тип Оглавление1 Пустой тип1.1 Определение и использование пустого типа1.2 Соответствие Карри-Говарда1.3 Необязательность пустого типа1.4 Взаимосвязь с нижним...
- Медленно меняющееся измерение Оглавление1 Медленно меняющееся измерение1.1 Определение и типы SCD1.2 Типы SCD1.3 Сравнение типов SCD1.4 Гибридные подходы1.5 Рекомендации1.6...