Typescript Type Level Programming Recursive Conditional Tuple Permutation

TypeScript1 September 20262 menit baca

Typescript Type Level Programming Recursive Conditional Tuple Permutation

Definisi

Type-level programming = menulis logika di dalam sistem tipe (bukan runtime) pakai conditional types, infer, dan recursion lewat union/tuple. Contoh: Permutation<T>, DeepReadonly<T>, Join<T, D>.

Kapan dipakai

Pakai saat ingin constraint compile-time kuat tanpa runtime cost: route param types, schema-derived types, DSL tipe. Hindari kalau cuma butuh runtime sederhana — type-level berat sulit dibaca.

Cara kerja

DeepReadonly

type DeepReadonly<T> = {
  readonly [K in keyof T]: T[K] extends object ? DeepReadonly

Selesai membaca dokumentasi ini?

Kembali ke rujukan utama TypeScript untuk melanjutkan topik lainnya.

Kembali ke Kategori

type Join<T extends unknown[], D extends string> =
  T extends [infer F, ...infer R]
    ? R['length'] extends 0
      ? `${F & string}`
      : `${F & string}${D}${Join<R, D>}`
    : '';
 
type P = Join<['a','b','c'], '/'>; // 'a/b/c'

Typescript Type Level Programming Recursive Conditional Tuple Permutation | Rujukan Pemrograman | Mahir.dev Academy

Typescript Type Level Programming Recursive Conditional Tuple Permutation

Typescript Type Level Programming Recursive Conditional Tuple Permutation

Definisi

Kapan dipakai

Cara kerja

DeepReadonly

Selesai membaca dokumentasi ini?

Join tuple

Permutation (simplified)

Struktur alur

Catatan implementasi

Kesalahan umum

Referensi terkait