Можно ли использовать логическое ветвление в TypeScript типах

Да, можно! TypeScript поддерживает условные типы через extends и тернарный оператор.

Пример:

type IsString<T> = T extends string ? true : false;

type A = IsString<'hello'>; // true
type B = IsString<42>; // false

Также есть встроенные утилиты типа Exclude, Extract, NonNullable, которые используют условные типы под капотом.

Можно комбинировать с infer для более сложной логики:

type UnpackPromise<T> = T extends Promise<infer U> ? U : T;

type X = UnpackPromise<Promise<number>>; // number
type Y = UnpackPromise<string>; // string

Это мощный механизм для создания гибких и строго типизированных API.