Na čo sa používa kľúčové slovo infer v TypeScript?

Kľúčové slovo infer v TypeScript sa používa vo vnútri podmienkových typov na odvodenie (alebo odhad) typu z iného typu. Umožňuje zachytiť časť typu a použiť ju neskôr.

Napríklad pri práci s typmi funkcií môžete extrahovať typ argumentu alebo návratovú hodnotu:

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

// Použitie:
type Result = ReturnType<() => string>; // Result bude string

Tu infer R hovorí kompilátoru, aby extrahoval typ návratovej hodnoty funkcie a priradil ho premennej R.

Týmto spôsobom infer pomáha vytvárať univerzálnejšie a mocnejšie typy, ktoré závisia od štruktúry iných typov.