Cos'è il structural typing in TypeScript?

Question

Accepted Answer

TypeScript utilizza **structural typing** ("duck typing"): due tipi sono compatibili se hanno la **stessa forma**, indipendentemente dal nome o dal punto in cui sono stati dichiarati. Questo contrasta con il *nominal* typing (Java, C#) dove la compatibilità dipende dal nome del tipo dichiarato.

```ts
interface Point { x: number; y: number; }

function print(p: Point) { console.log(p.x, p.y); }

// No `: Point` annotation anywhere, but the shape matches:
const obj = { x: 1, y: 2, z: 3 };
print(obj); // ✅ works — obj has x and y (extra z is fine)
```

`obj` non è mai stato dichiarato come `Point`, eppure viene accettato perché *strutturalmente* soddisfa la forma. Le proprietà extra sono consentite quando si passa una variabile esistente.

## L'eccezione del controllo delle proprietà eccedenti

```ts
print({ x: 1, y: 2, z: 3 }); // ❌ Error: 'z' does not exist in type 'Point'
```

I **letterali** oggetto passati direttamente ottengono un controllo "excess property check" più severo per catturare gli errori di battitura — ma assegnalo prima a una variabile e passerà. Questo è un equilibrio deliberato tra flessibilità e cattura degli errori.

## Perché è importante

Il structural typing rende TypeScript flessibile ed ergonomico — puoi soddisfare un'interfaccia senza implementarla esplicitamente, il che si adatta allo stile object-literal di JavaScript.

Il compromesso: i tipi che casualmente condividono una forma sono intercambiabili anche se concettualmente non correlati (per questo motivo le persone usano *branded types* quando hanno bisogno di una distinzione simile al nominal).