Для чего используется ключевое слово infer в TypeScript?

Ключевое слово infer в TypeScript используется внутри условных типов для вывода (выделения) типа из другого типа. Оно позволяет захватывать часть типа и использовать её в дальнейшем.

Например, при работе с типами функций можно извлечь тип аргумента или возвращаемого значения:

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

// Использование:
type Result = ReturnType<() => string>; // Result будет string

Здесь infer R говорит компилятору вывести тип возвращаемого значения функции и присвоить его переменной R.

Таким образом, infer помогает создавать более универсальные и мощные типы, которые зависят от структуры других типов.