Какие продвинутые возможности TypeScript для гибкой работы с типами ты знаешь: utility types, conditional types, ограничения generic-параметров и другие?

Продвинутые средства TypeScript включают generic-ограничения, keyof, mapped и conditional types, infer, template literal types и utility types.

Например, T extends { id: string } задаёт минимальный контракт, а Pick выбирает нужные поля. Conditional types выражают зависимость результата от входного типа; распределение по union иногда нужно явно отключать обёрткой в кортеж. Используйте сложные типы для ясного API, не ради сокращения любой ценой: чрезмерная сложность ухудшает сообщения об ошибках.