Apakah structural typing dalam TypeScript?

Question

Accepted Answer

TypeScript menggunakan **structural typing** ("duck typing"): dua jenis kompatibel jika mereka memiliki **bentuk yang sama**, terlepas dari nama mereka atau tempat deklarasinya. Ini berbeda dengan *nominal* typing (Java, C#) di mana kompatibilitas bergantung pada nama jenis 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 *structural* memenuhi bentuknya. Properti tambahan diperbolehkan saat melewatkan variabel yang ada.

## Pengecualian pemeriksaan properti berlebihan

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

Object **literals** yang dilewatkan langsung mendapat pemeriksaan "excess property check" yang lebih ketat untuk menangkap typo — tetapi tetapkan ke variabel terlebih dahulu dan itu lolos. Ini adalah keseimbangan sengaja antara fleksibilitas dan menangkap kesalahan.

## Mengapa ini penting

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

Kompromis: jenis yang kebetulan berbagi bentuk dapat saling diganti bahkan jika konsepnya tidak terkait (alasan orang menggunakan *branded types* ketika mereka membutuhkan kejelasan seperti nominal).