Ce este tipul never în TypeScript și cum se diferențiază de celelalte tipuri?

Tipul never în TypeScript este folosit pentru a indica valori care nu apar niciodată. Este un tip pentru funcții care nu returnează niciodată o valoare (de exemplu, care aruncă o eroare sau rulează infinit), sau pentru variabile care nu pot avea o valoare.

Diferențe față de alte tipuri:

• Alte tipuri descriu valori posibile, în timp ce never indică absența valorilor.
• never este un subtip al tuturor tipurilor, dar niciun tip nu este un subtip al never (cu excepția never însuși).

Exemplu:

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

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