Что сложное используешь в TypeScript

Один из сложных аспектов — условные типы (`Conditional Types`). Они позволяют создавать типы, которые зависят от других типов. Например: ```typescript type IsString = T extends string ? true : false; type A = IsString<'hello'>; // true type B = IsString<42>; // false ``` Другой пример — `Mapped Types` с модификаторами (`readonly`, `?`): ```typescript type Partial = { [P in keyof T]?: T[P]; }; interface User { name: string; age: number; } type PartialUser = Partial; // { name?: string; age?: number } ``` Также сложны утилиты типа `infer` для вывода типов внутри условных типов: ```typescript type ReturnType = T extends (...args: any[]) => infer R ? R : never; function foo() { return 42; } type FooReturn = ReturnType; // number ```