BFE.devでのAI解答例 - TypeScript タイプパズル
10. Parameters<T> を実装する

解答例:

type MyParameters<T> = T extends (...args: infer P) => any ? P : never;

MyParameters<T>は、Tが引数を取る関数の型であれば、その引数の型をタプルとして返すようになっています。具体的には、inferというキーワードを使うことで、引数の型をPとして取得し、(...args: infer P) => anyという形で関数型を表します。ただし、Tが関数型でない場合、この条件に合致しないため、never型が返されます。

例えば、Foo型は関数型で、(a: string, b: number, c: boolean) => stringという引数を取り、文字列を返すように定義されています。MyParameters<Foo>は、[string, number, boolean]という型を返し、A型には[string, number, boolean]が代入されます。また、B型は、A型の最初の要素であるstring型になります。

一方、{a: string}という型は関数型ではないため、C型はエラーとなります。