Çfarë është tipizimi struktural në TypeScript?

Question

Accepted Answer

TypeScript përdor **tipizimin struktural** ("duck typing"): dy tipet janë të pajtueshem nëse kanë **të njëjtën formë**, pavarësisht nga emri ose vendndodhja e deklarimit. Kjo kontrastohet me tipizimin *nominal* (Java, C#), ku pajtueshmëria varet nga emri i tipit i deklaruar.

```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` nuk u deklarua kurrë si `Point`, megjithatë pranohet sepse *strukturisht* plotëson formën. Veti të tepërta janë të lejuara kur kalohet një variabël ekzistuese.

## Përjashtimi i kontrollimit të pronës të tepërt

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

Objektet **literal** të kaluar drejtpërdrejt marrin një kontroll më të rreptë "excess property check" për të kapur gabimet e shtypit — por ia caktojeni atë një ndryshoreje fillimisht dhe do të kalojë. Ky është një ekuilibër i qëllimshëm midis fleksibilitetit dhe zbulimit të gabimeve.

## Pse kjo çështje

Tipizimi struktural e bën TypeScript fleksibël dhe ergonomik — mund të plotësoni një ndërfaqe pa e zbatuar atë në mënyrë të qartë, e cila përshtatet me stilin e objekteve literal të JavaScript.

Kompromisi: tipet që rastësisht ndajnë të njëjtën formë janë të zëvendësueshme edhe nëse janë koncepcionalisht të palidhur (një arsye pse njerëzit përdorin *branded types* kur kanë nevojë për dallim të ngjashëm me atë nominal).