Wat is een discriminated union en waarom is het krachtig?

Question

Accepted Answer

A **discriminated (tagged) union** is een union van objecttypen die allemaal een gemeenschappelijk literal veld delen — de **discriminant** — die de compiler gebruikt om varianten uit elkaar te houden en veilig in te perken.

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

Elk lid heeft een `status` literal. Het controleren ervan beperkt tot exact één variant en ontgrendelt de velden van die variant:

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

Als je `r.data` in het geval `loading` probeert te benaderen, is het een compile error — het typesysteem maakt ongeldige combinaties *onrepresenteerbaar*.

## Exhaustiveness checking

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

De `never` toewijzing dwingt je om elk geval af te handelen — voeg een nieuwe status toe en de compiler wijst je op elke switch die moet worden bijgewerkt.

## Waarom het belangrijk is

Discriminated unions zijn de idiomatische manier om staat (loading/success/error), events/actions (Redux reducers) en alle "één van meerdere vormen" gegevens te modelleren.

Ze maken ongeldige toestanden onmogelijk en geven je met de `never` truc compile-time exhaustiveness — een enorm veiligheidsvoordeelvergelijken met los `boolean`/optional-field modelleren.