Type-Level Programming ve Template Literal Types
Tip düzeyinde programlama: template literal types, recursive conditional types, tip hesaplamaları ile compile-time doğrulamalar. Karmaşık API'ler için tip tabanlı DSL'ler oluşturma.
template literal örneği
type EventName<T extends string> = `${T}:event`;
type UserEvent = EventName<'user'>; // "user:event"