Co je typ never v TypeScriptu a čím se liší od ostatních typů?

Typ never v TypeScriptu se používá k označení hodnot, které se nikdy nevyskytují. Je to typ pro funkce, které nikdy nevracejí hodnotu (například vyhazují chybu nebo běží nekonečně), nebo pro proměnné, které nemohou mít hodnotu.

Rozdíly od jiných typů:

• Jiný typ popisují možné hodnoty, zatímco never označuje absenci hodnot.
• never je podtyp všech typů, ale žádný typ není podtypem never (kromě never samotného).

Příklad:

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

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