discriminated union म्हणजे काय आणि ते शक्तिशाली का आहे?

Question

Accepted Answer

A **discriminated (tagged) union** हे ऑब्जेक्ट प्रकारांचे एक union आहे जे सर्वांना एक सामान्य literal फील्ड सामायिक करतात — **discriminant** — जे कंपाइलर व्हेरिएंट्स वेगळे करण्यासाठी आणि सुरक्षितपणे narrow करण्यासाठी वापरतो।

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

प्रत्येक सदस्याकडे `status` literal आहे। त्याची तपासणी करणे अचूकपणे एका व्हेरिएंटमध्ये narrow करते, त्या व्हेरिएंटची फील्ड्स अनलॉक करते:

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

जर आपण `loading` प्रकरणात `r.data` ऍक्सेस करण्याचा प्रयत्न करतात, तर हे एक compile error आहे — प्रकार प्रणाली अमान्य संयोजनांना *प्रतिनिधित्व न करता येणार्या* बनवते।

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

`never` assignment आपणास प्रत्येक प्रकरण हाताळण्यास भाग पाडते — एक नवीन status जोडा आणि कंपाइलर आपल्याला प्रत्येक switch दाखवतो जे अपडेट करण्याची आवश्यकता आहे।

## हे का महत्वाचे आहे

Discriminated unions हा स्थिती (loading/success/error), events/actions (Redux reducers) आणि कोणतेही "एकापैकी अनेक आकार" डेटा मॉडेल करण्याचा idiiomatic मार्ग आहे।

ते अवैध states अशक्य बनवतात आणि, `never` ट्रिकसह, आपल्याला compile-time exhaustiveness देतात — loosे `boolean`/optional-field modeling वर एक मोठी सुरक्षा जीत।