Mire szolgál a never típus?

A never típus a TypeScript-ben olyan értékek jelölésére szolgál, amelyek soha nem fordulnak elő. Ez azt jelenti, hogy egy never típusú visszatérési értékkel rendelkező függvény soha nem fog normálisan befejeződni — például mindig hibát dob vagy végtelen ciklusba kerül.

Használati példa:

function throwError(message: string): never {
  throw new Error(message);
}

function infiniteLoop(): never {
  while(true) {}
}

A never segít a fordítónak megérteni, hogy ilyen függvények hívása után a kód nem folytatódik, ami javítja a típusellenőrzést és megelőzi a hibákat.