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