Два параметра типа

export function mapItems<T, R>(items: T[], fn: (item: T) => R): R[] {
  return items.map(fn);
}

export const lengths = mapItems(["раз", "два"], (word) => word.length);

T описывает элементы входного массива и аргумент колбэка, R описывает результат колбэка и элементы итогового массива. Каждый параметр встречается в сигнатуре минимум дважды, и именно это связывает части между собой.

Порядок вывода

TypeScript выводит параметры по шагам:

1. Из ["раз", "два"] получается T = string.
2. Колбэк получает word: string, и word.length компилируется.
3. Колбэк возвращает number, значит R = number.
4. Результат R[], то есть number[].

Важно, что массив передаётся раньше колбэка. Сначала TypeScript выводит типы из «простых» аргументов, а потом уже подставляет их в параметры стрелочных функций.

Так устроен Array.prototype.map

Встроенный map объявлен почти так же:

interface Array<T> {
  map<U>(callbackfn: (value: T, index: number,

T здесь параметр самого массива, а U параметр метода. Тот же приём с двумя неизвестными.

Сколько параметров нужно

Хорошее правило: параметр типа нужен там, где он связывает минимум два места. Если T встречается в сигнатуре один раз, он ничего не связывает и его можно заменить на unknown.