Czym jest typ never w TypeScript i czym różni się od innych typów?

Typ never w TypeScript jest używany do oznaczania wartości, które nigdy się nie pojawią. To typ dla funkcji, które nigdy nie zwracają wartości (np. rzucają błąd lub działają w nieskończoność), lub dla zmiennych, które nie mogą mieć wartości.

Różnice w porównaniu z innymi typami:

• Inne typy opisują możliwe wartości, podczas gdy never oznacza brak wartości.
• never jest podtypem wszystkich typów, ale żaden typ nie jest podtypem never (z wyjątkiem never samego).

Przykład:

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

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