TypeScript Infer dan Conditional Types

Definisi

infer adalah kata kunci di dalam conditional types untuk menangkap tipe di dalam kondisi, lalu memakainya di cabang true. Ini kunci untuk "membongkar" tipe yang dibungkus (Promise, array, function) tanpa menyebut tipe tersebut secara eksplisit.

Kapan dipakai

Pakai infer saat kamu ingin mengekstrak sebagian tipe:

• Awaited<T> → tipe hasil Promise
• ElementOf<T> → tipe elemen array
• ReturnType<T> → tipe kembalian function
• Unwrap<T> → tipe di balik Ref/Box

Jangan pakai untuk hal sederhana yang cukup T[] atau Promise<T> langsung.

Cara kerja

Ekstrak elemen array

ts

type ElementOf<T> = T extends (infer U)[] ? U : never;
 
type A = ElementOf<string[]>; // string
type B = ElementOf<number[]>; // number

Ekstrak return type

ts

type Fn = (a: number) => string;
type R = Fn extends (...args: any[]) => infer U ? U : never; // string

Ekstrak tipe Promise

ts

type Unwrap<T> = T extends Promise<infer U> ? U : T;
 
type X = Unwrap<Promise<boolean>>; // boolean
type Y = Unwrap<Date>;             // Date (bukan promise)

Struktur alur

Contoh recursive unwrap

ts

type DeepUnwrap<T> = T extends Promise<infer U>
    ? DeepUnwrap<U>
    : T;
 
type Z = DeepUnwrap<Promise<Promise<number>>>; // number

Catatan implementasi

• infer hanya boleh muncul di dalam cabang kondisi (extends ... ? ... : ...).
• Bisa menangkap multiple: T extends [infer A, infer B] ? ... : ....
• Kalau pattern tidak cocok, beri fallback never atau tipe asli agar tidak tiba-tiba hilang.
• Conditional types bisa recursive (seperti DeepUnwrap), tapi batasi kedalaman agar compile tidak berat.

Kesalahan umum

• infer di luar conditional: syntax error, infer harus di dalam extends.
• Lupa fallback: cabang false mengembalikan never padahal tipe asli masih berguna.
• Terlalu dalam recursive: tipe jadi lambat di-compile dan sulit dibaca.
• Salah tempat infer: menangkap di posisi salah (misal argumen bukan return) sehingga hasil tidak sesuai ekspektasi.

Referensi terkait

• Advanced Types: Unions, Mapped, Conditional, infer
• Generics Constraints, Default Type Parameters, Conditional Return Types
• Utility Types, Type Composition, API Response Patterns