Применяли ли вы в своих проектах ключевое слово infer для определения типов в TypeScript?

Ключевое слово infer в TypeScript используется внутри условных типов для извлечения и вывода типов из других типов. Например, можно получить тип элемента массива или возвращаемый тип функции без явного указания. Это полезно для создания более универсальных и гибких типов.

Пример использования infer для получения типа элемента массива:

type ElementType<T> = T extends (infer U)[] ? U : T;

type NumberArray = number[];
type NumberType = ElementType<NumberArray>; // NumberType будет number

В своих проектах я применял infer для создания утилитных типов, которые автоматически выводят нужные типы из сложных структур, что упрощает поддержку и расширение кода.