Ce este o uniune discriminată și de ce este puternică?

Question

Accepted Answer

O **uniune discriminată (etichetată)** este o uniune de tipuri de obiecte care toate partajează un câmp literal comun — **discriminantul** — pe care compilatorul îl folosește pentru a distinge variantele și pentru a narrowa în siguranță.

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

Fiecare membru are un `status` literal. Verificarea lui se restrânge la exact o variantă, deblocând câmpurile acelei variante:

```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
  }
}
```

Dacă încerci să accesezi `r.data` în cazul `loading`, este o eroare de compilare — sistemul de tipuri face combinații nevalide *nereprezentabile*.

## Verificarea exhaustivității

```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;
  }
}
```

Asignarea `never` te forțează să gestionezi fiecare caz — adaugă un nou status și compilatorul te indică la fiecare switch care necesită actualizare.

## De ce conteaza

Uniurile discriminate sunt modul idiomător de a modela starea (loading/success/error), evenimentele/acțiunile (Redux reducers) și orice date "una din mai multe forme".

Ele fac stările nevalide imposibile și, cu trucul `never`, îți oferă verificarea exhaustivității la timp de compilare — o victorie enormă de siguranță față de modelarea liberă cu `boolean`/câmpuri opționale.