never este tipul valorilor care nu apar niciodată — o funcție care nu returnează niciodată (aruncă o excepție sau se buclează la infinit), sau o ramură pe care compilatorul a dovedit-o că este imposibilă. Este tipul gol: nicio valoare nu poate fi atribuită la never (cu excepția never în sine).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
Când restrângi o union la nimic, TypeScript atribuie tipul never valorii rămase. Exploatezi aceasta pentru a forța tratarea fiecărui caz:
type Shape =
| { kind: "circle"; r: number }
| { kind: "square"; side: number };
function area(s: Shape): number {
switch (s.kind) {
case "circle": return Math.PI * s.r ** 2;
case "square": return s.side ** 2;
default:
// if all cases are handled, s is `never` here — assignment OK
const _exhaustive: never = s;
return _exhaustive;
}
}
Acum, dacă cineva adaugă { kind: "triangle"; ... } la Shape, dar uită un caz, s în ramura default este tipul triangle (nu never), deci const _exhaustive: never = s eșuează la compilare — arătând exact switch-ul care trebuie actualizat.
function a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never transformă "am tratat fiecare caz?" dintr-o speranță la runtime într-o garanție la compile-time.
Este cheia pentru manipularea sigură și rezistentă la viitor a uniunilor discriminate — adaugă o variantă și compilatorul enumeră fiecare loc pe care trebuie să-l actualizezi.