X'inhu t-tip `never` u kif jippermetti l-exhaustiveness checks?

Question

Accepted Answer

`never` hija t-tip ta' valuri li **qatt ma jseħħu** — funzjoni li qatt ma jirritorna (titfa' errata jew tidawwar għal dejjem), jew fergħa li l-compiler uwilaħ li hija impossibbli. Hija t-tip *vojt*: l-ebda valur mhux assignabbli għal `never` (ħlief `never` innifsu).

```ts
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
```

## Għaliex `never` hija utli: exhaustiveness checking

Meta tnaqqas unjoni sal-xejn, TypeScript tittipizza l-valur baki bħala `never`. Inti taħdem biex ittaqqaf it-trattament ta' kull każ:

```ts
type Shape =
  | { kind: "circle"; r: number }
  | { kind: "square"; side: number };

function area(s: Shape): number {
  switch (s.kind) {
    case "circle": return Math.PI * s.r ** 2;
    case "square": return s.side ** 2;
    default:
      // if all cases are handled, s is `never` here — assignment OK
      const _exhaustive: never = s;
      return _exhaustive;
  }
}
```

Daħħal jekk xi ħadd iżid `{ kind: "triangle"; ... }` għal `Shape` iżda insew każ, `s` fil-default hija t-tip triangle (mhux `never`), allura `const _exhaustive: never = s` **titfalla biex tikmpila** — qalbin fil-eżatt liema switch li jeħtieġ aġġornament.

## `never` kontra `void`

```ts
function a(): void {}   // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
```

## Għaliex hija importanti

`never` ibeddel "għameltu kull każ?" minn spejjanza tal-ħin tal-eżekuzzjoni għal garantija tal-ħin tal-kompilazzjoni.

Hija l-ċavetta għal trattament sigur, li jirreżisti għall-futur ta' discriminated unions — żid variant u l-compiler denunzja kull post li inti għandek taġġorna.

Għaliex never hija utli: exhaustiveness checking

never kontra void

Għaliex hija importanti

Għaliex `never` hija utli: exhaustiveness checking

`never` kontra `void`