Hva er union- og intersection-typer?

Question

Accepted Answer

En **union** (`A | B`) betyr "enten A **eller** B." En **intersection** (`A & B`) betyr "både A **og** B samtidig."

```ts
// Union — value is one of several types
type Status = "loading" | "success" | "error"; // string literal union
let s: Status = "loading"; // only these three allowed

function id(x: string | number) { /* x is string OR number */ }
```

## Arbeide med unions: du kan bare bruke det som er felles

```ts
function format(x: string | number) {
  // x.toFixed(2); // ❌ toFixed doesn't exist on string
  if (typeof x === "number") return x.toFixed(2); // ✅ narrowed to number
  return x.toUpperCase();                          // ✅ here it's a string
}
```

Inntil du **snevrer inn** en union, kan du bare få tilgang til medlemmer som finnes på *alle* medlemmer av unionen — kompilatoren beskytter deg.

## Intersection — kombiner former

```ts
type Name = { name: string };
type Age = { age: number };
type Person = Name & Age; // must have BOTH name and age

const p: Person = { name: "Ann", age: 30 }; // both required
```

Intersections er flotte for å komponere/blande objekttyper (f.eks. legge til props til en eksisterende type).

## Hvorfor det betyr noe

Unions modellerer "en av flere muligheter" — grunnlaget for sikker tilstandsmodellering (f.eks. diskriminerte unions for reducer-tilstand), funksjonsoverbelastninger og nullable-typer (`T | null`).

Intersections komponerer typer sammen.

Tilsammen gjør de TypeScripts typesystem uttrykksfullt nok til å gjenspeile reelle data presist.