Apakah itu discriminated union dan mengapa ia berkuasa?

Question

Accepted Answer

A **discriminated (tagged) union** adalah union daripada jenis objek yang semuanya berkongsi medan literal biasa — **discriminant** — yang digunakan oleh compiler untuk membezakan varian dan menyempitkan dengan selamat.

```ts
type Result =
  | { status: "loading" }
  | { status: "success"; data: string }
  | { status: "error"; message: string };
```

Setiap ahli mempunyai literal `status`. Memeriksanya mengecil kepada tepat satu varian, membuka medan varian itu:

```ts
function render(r: Result) {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;     // ✅ data exists only here
    case "error":   return r.message;  // ✅ message exists only here
  }
}
```

Jika anda cuba mengakses `r.data` dalam kes `loading`, ia adalah ralat kompilasi — sistem jenis membuat kombinasi tidak sah *tidak dapat diwakili*.

## Exhaustiveness checking

```ts
function render2(r: Result): string {
  switch (r.status) {
    case "loading": return "...";
    case "success": return r.data;
    case "error":   return r.message;
    default:
      const _exhaustive: never = r; // ✅ if you add a variant and forget a case, this errors
      return _exhaustive;
  }
}
```

Penetapan `never` memaksa anda mengendalikan setiap kes — tambah status baru dan compiler menunjukkan kepada anda setiap switch yang perlu dikemas kini.

## Mengapa Ia Penting

Discriminated union ialah cara idiomatik untuk memodelkan keadaan (loading/success/error), acara/tindakan (Redux reducers), dan mana-mana data "satu daripada beberapa bentuk".

Mereka membuat keadaan haram mustahil dan, dengan trik `never`, memberi anda exhaustiveness masa kompilasi — kemenangan keselamatan yang besar berbanding pemodelan `boolean`/optional-field yang longgar.