2
Правильна термінологія в теорії типів: типи, конструктори типів, види / сорти та значення
У відповідь на попереднє запитання розпочалася невелика дискусія щодо правильної термінології для певних конструкцій. Оскільки я не знайшов питання (окрім того чи іншого , що не зовсім правильне), щоб вирішити це чітко, я роблю це нове. Сумнівними термінами та їх взаємозв'язками є: тип, конструктор типу, параметр типу, види чи види …