Apa itu structured typing dalam TypeScript?

Question

Accepted Answer

TypeScript menggunakan **structured typing** ("duck typing"): dua tipe kompatibel jika memiliki **bentuk yang sama**, terlepas dari nama atau di mana mereka dideklarasikan. Ini berbeda dengan *nominal* typing (Java, C#) di mana kompatibilitas bergantung pada nama tipe yang dideklarasikan.

```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` tidak pernah dideklarasikan sebagai `Point`, namun diterima karena secara *struktural* memenuhi bentuknya. Properti tambahan diizinkan saat meneruskan variabel yang ada.

## Pengecualian pemeriksaan properti kelebihan

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

Object **literal** yang diteruskan langsung mendapatkan pemeriksaan "excess property check" yang lebih ketat untuk menangkap typo — tetapi tetapkan ke variabel terlebih dahulu dan itu akan lolos. Ini adalah keseimbangan yang disengaja antara fleksibilitas dan menangkap kesalahan.

## Mengapa ini penting

Structured typing membuat TypeScript fleksibel dan ergonomis — Anda dapat memenuhi antarmuka tanpa secara eksplisit mengimplementasikannya, yang sesuai dengan gaya object-literal JavaScript.

Trade-off: tipe yang kebetulan berbagi bentuk dapat dipertukarkan meskipun secara konseptual tidak terkait (inilah mengapa orang menggunakan *branded types* ketika mereka membutuhkan kejelasan seperti nominal).