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