Значение слова тип-произведение

Тип-произведение (также -тип, произведение типов; ) — конструкция в языках программирования и , тип данных , построенный как декартово произведение исходных типов; другими словами — кортеж типов, или «кортеж как тип». Использованные типы и порядок их следования определяют типа-произведения; порядок следования объектов в создаваемом кортеже сохраняется на протяжении его времени жизни согласно заданной сигнатуре.

Например, если типы "A" и "B" представляют собой множества значений "a" и "b" соответственно, то составленное из них декартово произведение записывается как "A"×"B", и полученный тип-произведение представляет собой всё множество возможных пар ("a","b").