TypeScript-ში რა არის never ტიპი და როგორ განსხვავდება სხვა ტიპებიდან?

TypeScript-ში never ტიპი გამოიყენება იმ მნიშვნელობების აღსანიშნავად, რომლებიც არასოდეს მოხდება. ეს ტიპია ფუნქციებისთვის, რომლებიც არასოდეს აბრუნებენ მნიშვნელობას (მაგალითად, შეცდომის გამოტანას ან უსასრულო შესრულებას), ან ცვლადებისთვის, რომლებიც მნიშვნელობას ვერ მიიღებენ.

სხვადასხვა ტიპებთან შედარებით:

• სხვა ტიპები აღწერენ შესაძლო მნიშვნელობებს, ხოლო never აღნიშნავს მნიშვნელობების არარსებობას.
• never არის ყველა ტიპის ქვეტიპი, მაგრამ არცერთი ტიპი არ არის never-ის ქვეტიპი (გარდა never-ის თავისით).

მაგალითი:

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

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