Qu'est-ce que le type never en TypeScript et en quoi diffère-t-il des autres types?

Le type never en TypeScript est utilisé pour indiquer des valeurs qui ne se produisent jamais. C'est un type pour les fonctions qui ne retournent jamais de valeur (par exemple, qui lancent une erreur ou s'exécutent indéfiniment), ou pour des variables qui ne peuvent pas avoir de valeur.

Différences avec d'autres types :

• D'autres types décrivent des valeurs possibles, tandis que never indique l'absence de valeurs.
• never est un sous-type de tous les types, mais aucun type n'est un sous-type de never (sauf never lui-même).

Exemple :

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

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