TypeScript: можно ли вывести аргумент типа для каждого элемента массива отдельно?

Если вам нужен такой вывод, у вас нет другого выбора, кроме как запустить оболочку fn :

function valueAndHandlers<T extends any[]>(
  ...arg:{ [I in keyof T]: [T[I], (arg: T[I]) => void] }
) {
  return [arg]
}

// This will return them wrapped in an outer array. Need to use varargs to get inference I think.

valueAndHandlers(
  [5, value => console.info(value.toFixed(3))],
  ["example", value => console.info(value.length)]
) 

// As used in your edit

doSomethingWithParams({
    // array of some pairs of handlers and values
    // each value is only related to its handler, and not to other handlers/values
    valuesAndHandlers: valueAndHandlers(
        [5, value => console.info(value.toFixed(3))],
        ["example", value => console.info(value.length)]
    )
})

Предполагая, что вы действительно хотите отслеживать аргументы кортежа универсального типа для каждого элемента вашего массива, тогда вам нужно сделать Params универсальным в этом типе кортежа:

type Params<T extends any[]> = {
  valuesAndHandlers: [...{ [I in keyof T]: ValueAndHandler<T[I]> }]
}

Здесь свойство valuesAndHandlers представляет собой сопоставленный тип кортежа , где каждый элемент T[I] типа ввода T (по индексу I) обернут ValueAndHandler, чтобы стать ValueAndHandler<T[I]>. Я также обернул весь отображаемый тип кортежа в вариативный тип кортежа , например [...{ ⋯ }]; на самом деле это не меняет тип, но дает компилятору подсказку, что когда он выводит тип, он должен попытаться вывести кортеж вместо неупорядоченного типа массива произвольной длины (это описано в microsoft/TypeScript#). 39094: «Тип [...T], где T — параметр типа, подобный массиву, можно удобно использовать для указания предпочтения для вывода типов кортежей»).

Чтобы сократить количество аннотаций типов, которые вам нужно написать, мы можем создать вспомогательную функцию для вывода конкретного аргумента T с учетом некоторого Params<T>:

const asParams = <T extends any[]>(p: Params<T>) => p;

И мы можем использовать это так:

let params = asParams({
  valuesAndHandlers: [
    [5, (value: number) => console.info(value.toFixed(3))],
    ["example", (value: string) => console.info(value.length)]
  ]
});
/* let params: Params<[number, string]> */

Таким образом, params был выведен как Params<[number, string]>, как и хотелось.

Обратите внимание, что для того, чтобы это работало, мне пришлось аннотировать типы параметров в обратных вызовах. Тип контекстной типизации, который выводит тип value в value => console.info(value.length) из его контекста, не работает с выводом из сопоставленных кортежей внутри свойств. В зависимости от того, насколько вы заботитесь, это можно смягчить путем рефакторинга функции asParams(), чтобы она принимала значение свойства valuesAndHandlers в качестве отдельного аргумента... или, на самом деле, любого количества возможных рефакторингов для настройки вывода.

Главный концептуальный момент здесь заключается в том, что Params должен быть общим, а все остальное — это в основном просто методы, позволяющие получить желаемый вывод.

Площадка ссылка на код