28. Czym są typy literałów szablonowych i jak poprawiają bezpieczeństwo typów w TypeScript? Podaj przykład.

Typy literałów szablonowych w TypeScript pozwalają tworzyć typy na podstawie ciągów znaków, które są połączone z innymi typami. Pozwala to na bardziej precyzyjne modelowanie danych, które mają sztywno określoną strukturę. Typy te opierają się na wykorzystaniu szablonów (string template literals), które umożliwiają tworzenie nowych typów na podstawie istniejących wartości ciągów.

Przykład:

type Greeting = `Hello, ${string}!`;

const greeting1: Greeting = 'Hello, World!'; // OK
const greeting2: Greeting = 'Hi, World!'; // Błąd, 'Hi' nie pasuje do wzorca

W powyższym przykładzie typ Greeting przyjmuje tylko ciągi znaków, które zaczynają się od 'Hello,' i są zakończone wykrzyknikiem. Dzięki temu zapewniamy, że tylko odpowiednie wartości będą mogły zostać przypisane do zmiennych tego typu, co zwiększa bezpieczeństwo typów.