Конструктор типа

Материал из свободной русской энциклопедии «Традиция»
Перейти к навигации Перейти к поиску

Конструктор типа — в языке программирования Haskell (и некоторых других языках функционального программирования, а также в модели статической типизации Хиндли — Милнера) наименование алгебраических типов данных. Конструктор типа объединяет один или более конструкторов данных.