Объединённый тип
Тип, который может быть одним из нескольких: string | number | null.
TypeScript, Python (с | с версии 3.10), Rust (как варианты enum), Swift. Заставляет компилятор требовать исчерпывающих проверок. Дискриминированное объединение — это объединение, где у каждого варианта есть поле-тег, что делает сопоставление с образцом безопасным. Сердце «типобезопасных конечных автоматов».