¿Qué es el tipado estructural en TypeScript?

Question

Accepted Answer

TypeScript usa **tipado estructural** ("duck typing"): dos tipos son compatibles si tienen la **misma forma**, sin importar su nombre ni dónde fueron declarados. Esto contrasta con el tipado *nominal* (Java, C#), donde la compatibilidad depende del nombre de tipo declarado.

```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` nunca se declaró como un `Point`, y aun así es aceptado porque satisface *estructuralmente* la forma. Las propiedades extra están permitidas al pasar una variable existente.

## La excepción del chequeo de propiedades en exceso

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

Los **literales** de objeto que se pasan directamente reciben un "chequeo de propiedades en exceso" más estricto para detectar errores de tipeo, pero si lo asignas primero a una variable, pasa. Este es un equilibrio deliberado entre flexibilidad y la detección de errores.

## Por qué es importante

El tipado estructural hace que TypeScript sea flexible y ergonómico: puedes satisfacer una interfaz sin implementarla explícitamente, lo cual encaja con el estilo de literales de objeto de JavaScript.

La contrapartida: tipos que casualmente comparten una forma son intercambiables aunque conceptualmente no estén relacionados (una razón por la que la gente usa *branded types* cuando necesita una distinción de tipo nominal).