Типы как множества

Принципы

• Тип never соответствует пустому множеству значений; unknown — множеству всех возможных значений.
• Пересечение несвязанных объединений ('one' | 'two' и 'red' | 'green') даёт never.
• Сужение (type narrowing) работает как фильтрация множества: условие оставляет только допустимые значения.

Пример

type Numbers = 'one' | 'two' | 'three';
type Colors = 'red' | 'green' | 'blue';
type NeverType = Numbers & Colors; // never

type UnknownType = never | unknown; // unknown

function logStatus(status: string | null) {
  if (status) {
    console.log(status); // status: string
  }
}

Практика

• Мысленно представляйте объединения как множества, чтобы проще анализировать пересечения и исключения.
• Используйте Exclude/Extract для операций над множествами типов.
• Помните, что литеральные типы можно комбинировать с шаблонными строками, образуя новые множества.