Типи never дар TypeScript чист ва чӣ гуна аз дигар намудҳо фарқ мекунад?

Тип never дар TypeScript барои нишон додани арзишҳое истифода мешавад, ки ҳеҷ гоҳ рӯй намедиҳанд. Ин барои функсияҳое аст, ки ҳеҷ гоҳ арзиш бармегардонанд (масалан, хато мезананд ё беохир иҷро мешаванд), ё барои тағйирёбандаҳое, ки наметавонанд арзиш дошта бошанд.

Фарқиятҳо бо дигар намудҳо:

• Други намудҳо арзишҳои имконпазирро тасвир мекунанд, дар ҳоле ки never нишон медиҳад, ки арзишҳо вуҷуд надоранд.
• never зери намудҳои ҳамаи намудҳо аст, аммо ҳеҷ намуде зери never нест (ба истиснои never худ).

Масалан:

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

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