Cos'è un'unione discriminata (discriminated union) e perché è potente?

Question

Accepted Answer

Un'**unione discriminata (tagged) union** è un'unione di tipi di oggetti che condividono tutti un comune campo letterale — il **discriminante** — che il compilatore usa per distinguere le varianti e restringere in modo sicuro.

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

Ogni membro ha un letterale `status`. Controllarlo restringe esattamente a una variante, sbloccando i campi di quella 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
  }
}
```

Se tenti di accedere a `r.data` nel caso `loading`, è un errore di compilazione — il sistema di tipi rende le combinazioni non valide *non rappresentabili*.

## Controllo dell'esaustività

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

L'assegnazione `never` ti obbliga a gestire ogni caso — aggiungi un nuovo stato e il compilatore ti indica ogni switch che ha bisogno di aggiornamento.

## Perché è importante

Le unioni discriminate sono il modo idiomatico per modellare lo stato (caricamento/successo/errore), eventi/azioni (Redux reducer), e dati di qualunque forma "uno tra vari".

Rendono gli stati non validi impossibili e, con il trucco `never`, ti danno l'esaustività al momento della compilazione — una grande vittoria di sicurezza rispetto alla modellazione sciatta con `boolean`/campi opzionali.