Что такое conditional types?

Conditional types — это тернарный оператор для типов: T extends U ? X : Y. Если T наследует U — результат X, иначе Y. В сочетании с дженериками работают как ветвление: type IsString = T extends string ? true : false. Distributive conditional types автоматически применяются к каждому члену union: IsString = true | false. Используются в утилитах Exclude, Extract, NonNullable. Мощный инструмент для условной логики на уровне типов.