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