Mi az a never típus a TypeScript-ben, és miben különbözik más típusoktól?

A never típus a TypeScript-ben olyan értékek jelölésére szolgál, amelyek soha nem fordulnak elő. Ez egy típus olyan függvényekhez, amelyek soha nem adnak vissza értéket (például hibát dobó vagy végtelen ciklusban futó függvényekhez), vagy változókhoz, amelyek nem rendelkezhetnek értékkel.

Más típusokhoz képest:

• Más típusok leírják a lehetséges értékeket, míg a never a értékek hiányát jelzi.
• A never minden típus al-típusa, de egyik típus sem al-típusa a never-nek (kivéve a never-t maga).

Példa:

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

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