X'inhu structural typing f'TypeScript?

Question

Accepted Answer

TypeScript juża **structural typing** ("duck typing"): żewġ tipi huma kompatibli jekk għandhom **l-istess forma**, indipendentement mill-isem tagħhom jew minn fejn ġew iddikjarati. Dan jiddifferenza mill-*nominal* typing (Java, C#) fejn il-kompatibilità tiddipendi fuq l-isem tat-tip iddikjarat.

```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` qatt ma kien iddikjarat bħala `Point`, iżda jitqabel għaliex *estrutturalment* jissodisfa l-forma. Propjetà addizzjonali jitħallew meta tgħaddi varjabbli eżistenti.

## L-eċċezzjoni tal-iċċekkjar ta' propjetà żejda

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

Object **literals** li jitgħaddu direttament jiksbu iċċekkjar "excess property check" aktar strett biex jaqbdu typos — imma assenjahi varjabbli l-ewwel u jgħaddi. Din hija ekwilibriju intenzjonali bejn il-flessibilità u l-qbid ta' żbalji.

## Għaliex huwa importanti

Structural typing jagħmel TypeScript flessibli u ergonomiku — tista' tissodisfa interfaccia mingħajr ma timplimentaha espliċitament, li huwa xieraq għall-istil object-literal ta' JavaScript.

It-trade-off: tipi li b'xorti jaqsmu forma huma intercambjabbli anki jekk kunċettwalment mhux relatati (ir-raġuni għaliex nies jużaw *branded types* meta għandhom bżonn distintività simili għal nominal).