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

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