Typescript Infer Deep Dive Conditional Types Pivot Recursive Unwrap

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;