Typy literálů šablony umožňují vytvářet nové typy literálů řetězců interpolací jiných typů do šablony — manipulaci řetězcem na úrovni typu.
ts
= ;
: = ;
: = ;
type Color = "red" | "blue";
type Shade = "light" | "dark";
type Variant = `${Shade}-${Color}`;
// "light-red" | "light-blue" | "dark-red" | "dark-blue" — all combinations
Kompiler rozšíří každou kombinaci uniony — užitečné pro automatické generování platných klíčů řetězců (třídy CSS, názvy událostí, vzory tras).
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 jsou vestavěné vnitřní pomocníky.
Typy literálů šablony činí rozhraní API založená na řetězcích typově bezpečná: parametry tras, systémy událostí, CSS-in-JS, názvy sloupců ORM.
Místo přijetí libovolného string můžete omezit na přesnou, generovanou sadu platných řetězců — zachycení překlepů v čase kompilace na místech, která byla dříve řetězců.