Was ist der Typ never in TypeScript und wie unterscheidet er sich von anderen Typen?

Der Typ never in TypeScript wird verwendet, um Werte zu kennzeichnen, die niemals auftreten. Es ist ein Typ für Funktionen, die niemals einen Wert zurückgeben (z.B. Fehler werfen oder unendlich laufen), oder für Variablen, die keinen Wert haben können.

Unterschiede zu anderen Typen:

• Andere Typen beschreiben mögliche Werte, während never das Fehlen von Werten beschreibt.
• never ist ein Untertyp aller Typen, aber kein Typ ist Untertyp von never (außer never selbst).

Beispiel:

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

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