Cosa sono i tipi union e intersection?

Question

Accepted Answer

Un **union** (`A | B`) significa "A **oppure** B." Un **intersection** (`A & B`) significa "A **e** B contemporaneamente."

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

## Lavorare con gli union: puoi usare solo ciò che è comune

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

Finché non **restringi** un union, puoi accedere solo ai membri presenti in *ogni* membro dell'union — il compilatore ti protegge.

## Intersection — combina le forme

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

Gli intersection sono ottimi per comporre/mescolare tipi di oggetti (ad es. aggiungere props a un tipo esistente).

## Perché è importante

Gli union modellano "una di più possibilità" — il fondamento della modellazione dello stato sicura (ad es. union discriminati per lo stato del reducer), overload di funzioni e tipi nullable (`T | null`).

Gli intersection combinano insieme i tipi.

Insieme, rendono il sistema di tipi di TypeScript abbastanza espressivo da rispecchiare con precisione i dati reali.