20. Czym są typy warunkowe w TypeScript? Jak można je wykorzystać w kodzie?

Typy warunkowe w TypeScript pozwalają na tworzenie typów zależnych od warunków. Są one używane do wyboru jednego typu na podstawie spełnienia określonych warunków. Wzór składniowy wygląda następująco:

T extends U ? X : Y

Gdzie T to typ, który jest sprawdzany, U to typ porównania, X to typ zwrócony, jeśli warunek jest spełniony, a Y to typ zwrócony, jeśli warunek nie jest spełniony.

Przykład:

type IsString<T> = T extends string ? 'Yes' : 'No';

type Test1 = IsString<'hello'>; // 'Yes'
type Test2 = IsString<42>; // 'No'

W tym przykładzie, jeśli typ T jest typu string, zwróci 'Yes', w przeciwnym razie zwróci 'No'. Typy warunkowe są przydatne, gdy chcemy dostosować typy w zależności od innych typów.