Template literal -tyypit antavat sinun luoda uusia string literal -tyyppejä interpoloimalla muita tyyppejä malliineen — merkkijonomuokkaus tyypin tasolla.
= ;
: = ;
: = ;
type Color = "red" | "blue";
type Shade = "light" | "dark";
type Variant = `${Shade}-${Color}`;
// "light-red" | "light-blue" | "dark-red" | "dark-blue" — all combinations
Kääntäjä laajentaa jokaisen unionien yhdistelmän — hyödyllinen automaattisesti luotavien kelpoisten merkkijonoavainten (CSS-luokat, tapahtumien nimet, reittikuviot) luomiseen.
type Entity = "user" | "post";
type Event = `${Entity}:${"created" | "deleted"}`;
// "user:created" | "user:deleted" | "post:created" | "post:deleted"
function on(event: Event, cb: () => void) {}
on("user:created", () => {}); // ✅
on("user:updated", () => {}); // ❌ not a valid event
type Getters<T> = {
[K in keyof T & string as `get${Capitalize<K>}`]: () => T[K];
};
// { name: string } → { getName: () => string }
Uppercase, Lowercase, Capitalize, Uncapitalize ovat sisäänrakennettuja sisäisiä apuohjelmia.
Template literal -tyypit tekevät merkkijono-pohjaisista API:sta tyyppiturvallisia: reittien parametrit, tapahtumajärjestelmät, CSS-in-JS, ORM-sarakkeiden nimet.
Senhetkisen minkä tahansa string-hyväksymisen sijaan voit rajoittaa tarkasti luotuun joukkoon kelvollisia merkkijonoja — kirjoitusvirheiden havaitseminen käännösaikana paikoissa, jotka olivat aiemmin merkkijonomaisia.