Что такое дискриминируемое объединение и почему оно мощно?

Question

Accepted Answer

**Дискриминируемое (помеченное) объединение** — это объединение типов объектов, которые все используют общее литеральное поле — **дискриминатор** — который компилятор использует для различения вариантов и безопасного сужения типа.

```ts
type Result =
  | { status: "loading" }
  | { status: "success"; data: string }
  | { status: "error"; message: string };
```

Каждый член имеет литеральное поле `status`. Проверка его сужает тип к ровно одному варианту, разблокируя поля этого варианта:

```ts
function render(r: Result) {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;     // ✅ data exists only here
    case "error":   return r.message;  // ✅ message exists only here
  }
}
```

Если вы попытаетесь получить доступ к `r.data` в случае `loading`, это ошибка компиляции — система типов делает недопустимые комбинации *непредставимыми*.

## Почему это важно

```ts
function render2(r: Result): string {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;
    case "error":   return r.message;
    default:
      const _exhaustive: never = r; // ✅ if you add a variant and forget a case, this errors
      return _exhaustive;
  }
}
```

Присваивание `never` заставляет вас обработать каждый случай — добавьте новый статус, и компилятор укажет на каждый switch, который требует обновления.

## Почему это важно

Дискриминируемые объединения — это идиоматический способ моделирования состояния (загрузка/успех/ошибка), событий/действий (редукторы Redux) и любых данных типа «один из нескольких вариантов».

Они делают недопустимые состояния невозможными и благодаря трюку `never` обеспечивают проверку полноты на этапе компиляции — огромную победу в безопасности по сравнению с незаконной моделью с `boolean`/опциональными полями.