რა არის დისკრიმინირებული გაერთიანება და რატომ არის ის მძლავრი?

Question

Accepted Answer

A **discriminated (tagged) union** არის object ტიპების გაერთიანება, რომლებიც ყველა იზიარებენ საერთო literal ველს — **discriminant** — რომელსაც კომპილერი იყენებს ვარიანტების განსასხვავებლად და უსაფრთხოდ შევიწროვებისთვის.

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

ყველა წევრს აქვს `status` literal. მისი შემოწმება შეიწროვდება ზუსტად ერთ ვარიანტამდე, განბლოკავს ამ ვარიანტის ველებს:

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

თუ ცდილობთ `r.data`-ს წვდომას `loading` შემთხვევაში, ეს არის 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` მინიჭება აკავებს თითოეული შემთხვევის დამუშავებას — დაამატეთ ახალი status და კომპილერი თქვენ დაგეხმარებათ ყველა switch-ში, რომელიც განახლება გჭირდება.

## რატომ არის ეს მნიშვნელოვანი

დისკრიმინირებული გაერთიანება არის იდიომატური გზა state-ის (loading/success/error), events/actions (Redux reducers) და ნებისმიერი "ერთი რამდენიმე ფორმიდან" მონაცემების მოდელირებისთვის.

ისინი აკეთებენ არასწორ states-ებს შეუძლებელს და, `never` ხრიკით, მოგცემთ compile-time exhaustiveness — დიდი უსაფრთხოების უპირატესობა თავისუფალი `boolean`/optional-field მოდელირებაზე.