- размеченное объединение
-
discrimination union
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
Размеченное объединение — Неформально говоря, дизъюнктное объединение это измененная операция объединения множеств в теории множеств, которая каждый элемент снабжает индексом множества, из которого этот элемент вошёл в объединение. Содержание 1 Определение 2 Использование … Википедия
Алгебраический тип данных — в теории программирования любой тип, значения которого являются значениями некоторых иных типов, «обёрнутыми» конструкторами алгебраического типа. Другими словами, алгебраический тип данных имеет набор конструкторов типа, каждый из которых… … Википедия
Список (информатика) — У этого термина существуют и другие значения, см. Список. В информатике, список (англ. list) это абстрактный тип данных, представляющий собой упорядоченный набор значений, в котором некоторое значение может встречаться более одного… … Википедия