never është tipi i vlerave që nuk ndodhin kurrë — një funksion që nuk kthehet kurrë (hedh një përjashtim ose hyrjet në lak të pafund), ose një degë që përpiluesi ka vërtetuar se është e pamundur. Është tipi bosh: asnjë vlerë nuk mund t'i caktohet never (përveç never vetë).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
Kur tu ngushtosh një union në asgjë, TypeScript i cakton vlerës së mbetur tipin never. Ti e shfrytëzosh këtë për të detyruar trajtimin e çdo rasti:
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;
}
}
Mos nëse dikush shton { kind: "triangle"; ... } në Shape, por harron një rast, s në degën parazgjedhje është tipi trekëndëshi (jo never), kështu që const _exhaustive: never = s nuk kompajlon — duke të treguar pikërisht se cili switch duhet të përditësohet.
function a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never shndëron "a i trajtova të gjitha rastet?" nga një shpresë në kohën e ekzekutimit në një garanci në kohën e përpilimit.
ÇÇdo është çelësi për trajtimin e sigurt dhe të rezistent ndaj së ardhmes të bashkimeve të diskriminuara — shtoni një variant dhe përpiluesi liston secilin vend që duhet t'i përditësosh.