TypeScript: conditional types и `infer` — как ответить на собеседовании

«Conditional type — if type system, deferred в generic до известного T. Distribution: naked parameter + union → run per member, re-union — так NonNullable фильтрует null/undefined. Отключаю [T] extends [U]. infer — pattern-match в extends, slot capture — основа ReturnType и Awaited. Subtlety: infer в return unions, в parameter intersects — contravariance. Runtime nothing survives — conditional описывает guard, который пишу в JS.»

Разбор

Структура ответа:

1. Deferred if в generic.
2. Distribution + [T] off-switch.
3. infer для utilities.
4. Union vs intersect по позиции infer.
5. Compile-time only — runtime guard отдельно.

Итог

Пятиступенчатый script — distribution, infer position, runtime gap — звучит как staff-level без лишней воды.