Apa itu discriminated union (unitas terdiskriminasi) dan mengapa itu sangat kuat?

Question

Accepted Answer

**Discriminated (tagged) union** adalah unitas dari tipe-tipe objek yang semuanya berbagi satu bidang literal umum — **diskriminator** — yang digunakan kompiler untuk membedakan varian dan menyempitkan dengan aman.

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

Setiap anggota memiliki `status` literal. Memeriksanya menyempitkan ke tepat satu varian, membuka bidang-bidang 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 mencoba mengakses `r.data` dalam kasus `loading`, itu adalah kesalahan kompilasi — sistem tipe membuat kombinasi yang tidak valid *tidak dapat direpresentasikan*.

## Pengujian kelengkapan

```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;
  }
}
```

Penugasan `never` memaksa Anda menangani setiap kasus — tambahkan status baru dan kompiler menunjuk Anda ke setiap switch yang perlu diperbarui.

## Mengapa ini penting

Discriminated union adalah cara idiomatis untuk memodelkan keadaan (loading/success/error), peristiwa/tindakan (Redux reducer), dan data "satu dari beberapa bentuk" apa pun.

Mereka membuat keadaan tidak valid menjadi tidak mungkin dan, dengan trik `never`, memberi Anda kelengkapan saat kompilasi — kemenangan keamanan besar dibandingkan pemodelan `boolean`/bidang opsional yang longgar.