Конструктор (программирование)

конструктор данных представляет собой статическую функцию с пустым телом, конструирующую объект алгебраического типа данных.
конструктор типов представляет собой конструкцию типизированного формального языка, которая строит новые типы из старых.