TypeScriptで可変長引数を受け取る関数をジェネリクスで型付けする方法

Question

前提・実現したいこと

関数funcは可変長引数を受け取ることができ、例えばnumber, string, booleanが与えられたら[number[], string[], boolean[]]を返すといったように、各引数を配列化したtupleを返すとします。
このような関数の型をTypeScriptで表現することは可能でしょうか？

例えば引数が3つで固定であれば、

function func<T, U, V>(arg1: T, arg2: U, arg3: V]): [T[], U[], V[]]

と書けると思うのですが、引数が任意個の場合にうまく書く方法があるのか思いつきませんでした。

何卒ご教示いただければ幸いです。よろしくお願いいたします。

補足情報（FW/ツールのバージョンなど）

TypeScript: 4.2.3

Comments

[hoshi-takanori]

何をしたいのかよく分かりませんが、例えばこういうことでしょうか？
https://stackoverflow.com/questions/54815926/typing-a-function-with-arbitrary-number-of-distinct-arguments/54819557

[ts-learner]

ありがとうございます。
<T1, T2, T3, T4, T5>みたいなのをいくつか定義するしかなさそうですね。

Answer 1

型を頑張ってコネコネすればできます。
typescript 型レベルプログラミングとかでgoogle先生に聞くと詳しいことがわかると思います。

type ToArray<T extends readonly unknown[]> = T extends [] ? []
    : T extends readonly [infer U, ...infer V] ? [U[], ...ToArray<V>]
    : T[];

function func<T extends readonly unknown[]>(...args: T): ToArray<T>;

Comments

[ts-learner]

このように再帰的に書けるのですね。
非常に勉強になりました。ありがとうございます。