Теория типов с записями
- Теория типов с записями используется в обработке естественного языка и вычислительной семантике.
- Тип записи состоит из набора полей, где метки полей уникальны внутри одного типа записи.
- Запись содержит объекты, а не типы, и каждый объект должен иметь тип, объявленный в соответствующем поле.
- Пример типа Pt включает поля для различных объектов и операций.
- Статья о семантике является заглушкой и предлагает возможность расширения для помощи Википедии.
Полный текст статьи: