never adalah tipe nilai yang tidak pernah terjadi — fungsi yang tidak pernah mengembalikan (melempar atau terus-menerus loop), atau cabang yang telah terbukti oleh compiler tidak mungkin terjadi. Ini adalah tipe kosong: tidak ada nilai yang dapat ditetapkan ke never (kecuali never itu sendiri).
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
never berguna: pemeriksaan kelelahanKetika Anda mempersempit union menjadi tidak ada, TypeScript mengetik nilai yang tersisa sebagai never. Anda memanfaatkan ini untuk memaksa penanganan setiap kasus:
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;
}
}
Sekarang jika seseorang menambahkan { kind: "triangle"; ... } ke Shape tetapi lupa akan sebuah kasus, s dalam default adalah tipe segitiga (bukan never), jadi const _exhaustive: never = s gagal dikompilasi — menunjukkan Anda persis switch mana yang perlu diperbarui.
never vs voidfunction a(): void {} // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
never mengubah "apakah saya menangani setiap kasus?" dari harapan waktu eksekusi menjadi jaminan waktu kompilasi.
Ini adalah kunci untuk penanganan union yang dibedakan secara aman dan tahan terhadap masa depan — tambahkan varian dan compiler menghitung setiap tempat yang harus Anda perbarui.