বিভক্ত ইউনিয়ন (Discriminated Union) কী এবং এটি কেন শক্তিশালী?

Question

Accepted Answer

একটি **বিভক্ত (ট্যাগ করা) ইউনিয়ন** হল অবজেক্ট টাইপের একটি ইউনিয়ন যা সবগুলি একটি সাধারণ লিটারাল ফিল্ড শেয়ার করে — **বিভেদক** — যা কম্পাইলার বৈকল্পগুলি আলাদা করতে এবং নিরাপদে সংকীর্ণ করতে ব্যবহার করে।

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

প্রতিটি সদস্যের একটি `status` লিটারাল রয়েছে। এটি পরীক্ষা করা ঠিক একটি বৈকল্পে সংকীর্ণ করে, সেই বৈকল্পের ফিল্ডগুলি আনলক করে:

```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` অ্যাক্সেস করার চেষ্টা করেন তবে এটি একটি কম্পাইল ত্রুটি — টাইপ সিস্টেম অবৈধ সমন্বয় *প্রতিনিধিত্বযোগ্য অসম্ভব* করে তোলে।

## সম্পূর্ণতা পরীক্ষা

```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` অ্যাসাইনমেন্ট আপনাকে প্রতিটি কেস পরিচালনা করতে বাধ্য করে — একটি নতুন স্ট্যাটাস যোগ করুন এবং কম্পাইলার আপনাকে প্রতিটি সুইচ দেখাবে যার আপডেট প্রয়োজন।

## এটি কেন গুরুত্বপূর্ণ

বিভক্ত ইউনিয়নগুলি অবস্থা (loading/success/error), ইভেন্ট/অ্যাকশন (Redux reducers), এবং যেকোনো "বেশ কয়েকটি আকারের একটি" ডেটা মডেলিংয়ের পরিভাষাসংক্রান্ত উপায়।

তারা অবৈধ অবস্থাগুলি অসম্ভব করে তোলে এবং `never` কৌশলের সাথে, আপনাকে কম্পাইল-টাইম সম্পূর্ণতা প্রদান করে — ঢিলেঢালা `boolean`/ঐচ্ছিক-ফিল্ড মডেলিংয়ের উপর একটি বিশাল নিরাপত্তা লাভ।