Какво е типът never в TypeScript и как се различава от другите типове?

Типът never в TypeScript се използва за обозначаване на стойности, които никога не се случват. Това е тип за функции, които никога не връщат стойност (например, които хвърлят грешка или работят безкрайно), или за променливи, които не могат да имат стойност.

Разлики от други типове:

• Другите типове описват възможни стойности, а never — липсата на стойности.
• never е подтип на всички типове, но никой тип не е подтип на never (освен never самият).

Пример:

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

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