Конструктор типов
- Конструктор типов – функция в теории типов, создающая новые типы из старых.
- Базовые типы создаются с использованием конструкторов нулевых типов.
- Конструкторы типов принимают другой тип в качестве аргумента.
- Новые типы могут быть определены путем рекурсивного создания конструкторов типов.
- Лямбда-исчисление с простой типизацией рассматривается как язык с единственным конструктором неосновных типов.
- Типы продуктов обычно считаются “встроенными” в типизированные лямбда-вычисления с помощью каррирования.
- Абстрактно конструктор типов – оператор n-арного типа, возвращающий другой тип.
- Операторы типа могут связывать переменные типа и соответствовать 2-й оси λ-куба и теориям типов.
- Объединение операторов типа с полиморфным λ-исчислением дает систему Fw.
- Некоторые функциональные языки программирования явно используют конструкторы типов, например, Haskell.
Полный текст статьи: