Structural typing ni nini katika TypeScript?

Question

Accepted Answer

TypeScript inatumia **structural typing** ("duck typing"): aina mbili ni zinazolingana ikiwa zina **umbo sawa**, bila kujali jina lao au mahali alipodeklarwa. Hii inakamatisha na *nominal* typing (Java, C#) ambapo ulinganifu hutegemea jina la aina lililoamriwa.

```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` haikuwahi kuamriwa kama `Point`, lakini inakubali kwa sababu inakidhi *kimaumbuki* umbo. Mali za ziada yaniaruhusiwa wakati wa kupitisha kigezo kilichodhaniwa.

## Ubaguzi wa ukaguzi wa mali za ziada

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

Objekti **halisi** iliyopitishwa moja kwa moja inapata kugeuza kali ya "ukaguzi wa mali ya ziada" ili kukamatia typo — lakini kuitengeneza kwa kigezo kwanza na itapita. Hii ni mizani iliyokasirikia kwa toshani kati ya kueleza na kusambaza makosa.

## Kwa nini inamaanisha

Typing ya kimuundo hufanya TypeScript kuwa ya kujiuza na ergonomic — unaweza kutuza interface bila kuiendesha kwa wazi, ambayo inafaa katika style ya JavaScript ya object-literal.

Mafanikio: aina ambazo zufa zina umbo sawa zinabadilishana hata kama zinajumlika bila na uhusiano (sababu watu hutumia *aina za branded* wakati wanahitaji utofauti unaofanana na nominella).