Описание тега discriminated-union
Дискриминированное объединение или непересекающееся объединение - это структура данных, используемая для хранения значения, которое может принимать несколько разных, но фиксированных типов. В теории типов они также известны как "типы суммы". Вместо [ocaml] используйте [вариант].
Дискриминированное объединение или непересекающееся объединение - это структура данных, используемая для хранения значения, которое может принимать несколько разных, но фиксированных типов.
Дискриминированные объединения наиболее важны в функциональных языках, таких как ml и haskell, где компилятор может проверить, что все случаи несвязанного объединения всегда обрабатываются, избегая многих типов ошибок.
Чтобы получить краткую информацию о дискриминированном союзе, посетите его страницу в Википедии.