Koja je uloga operatora Infer u kontekstu tipova i kako se on primenjuje?

Operator infer se koristi u TypeScript-u (često u Node.js projektima sa tipizacijom) unutar uslovnih tipova za izvlačenje tipa iz drugog tipa. Omogućava deklarisanje privremene promenljive tipa, koju može koristiti unutar uslovnog tipa.

Primer upotrebe:

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

function foo() { return 42; }

type FooReturn = ReturnType<typeof foo>; // FooReturn će biti number

Ovde infer R omogućava izvlačenje tipa povratne vrednosti funkcije T. Ako je T funkcija, R je njen povratni tip, u suprotnom never.

Na ovaj način, operator infer pomaže u kreiranju fleksibilnijih i opštijih tipova, izvlačeći interne tipove iz složenih struktura.