Çfarë është një bashkim i diskriminuar dhe pse është i fuqishëm?

Question

Accepted Answer

Një **bashkim i diskriminuar (i etiketuar)** është një bashkim i tipeve të objekteve që të gjitha ndajnë një fushë literale të përbashkët — **diskriminuesi** — të cilën përpiluesi e përdor për të dalluar variantet dhe për të ngushtuar në mënyrë të sigurt.

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

Çdo anëtar ka një literal `status`. Kontrollimi i tij ngushtohej në saktësisht një variant, duke shkyçur fushat e asaj varianti:

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

Nëse përpiqesh të hysh në `r.data` në rastin `loading`, është një gabim përpilimi — sistemi i tipeve bën kombinime të pavlefshme *të paardhshme*.

## Kontrollimi i shterimit

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

Caktimi `never` të detyron të trajtuash secilin rast — shto një status të ri dhe përpiluesi të tregon çdo switch që ka nevojë për përditësim.

## Pse kjo ka rëndësi

Bashkimet e diskriminuara janë mënyra idiomatike për modelimin e gjendjes (loading/success/error), ngjarjeve/veprimeve (Redux reducers), dhe çdo të dhëne të "një nga disa forma".

Ata e bëjnë gjendet e pavlefshme të pamundura dhe, me trukun `never`, të japin kontroll të shterimit në kohën e përpilimit — një fitore të madhe sigurie krahasuar me modelimin e lirshëm të `boolean`/fushave fakultative.