Typescript Template Literal Types Satisfies Const Type Parameters

Definisi

Tiga fitur yang membantu membuat tipe lebih presisi tanpa kehilangan inferensi:

• Template Literal Types: tipe string yang dibentuk dari pola, bisa menggabungkan union dan merekayasa tipe seperti GET /users.
• satisfies: memeriksa nilai sesuai tipe tanpa mengubah tipe hasil inferensi (beda dengan as yang memaksa, dan : yang menyempitkan).
• Const Type Parameters (const modifier di generic): mempertahankan literal type dari argumen, bukan lebar ke string.

Kapan dipakai

• Template literal: nama event, route, key config, atau tipe berbasis pola string.
• satisfies: ingin validasi struktur tapi tetap bisa akses property secara spesifik (misal warna "red" bukan string).
• Const param: generic function yang harus menjaga literal argumen (berguna di tuple/key extraction).

Cara kerja

Template literal types

ts

type Method = 'GET' | 'POST';
type Path =