問題に挑戦!
与えられた関数型 Fn
と任意の型 A
に対して、第一引数に Fn
を取り、第二引数に A
を取り、Fn
の引数に A
を追加した関数型 G
を生成します。
例えば、
type Fn = (
a: number,
b: string
) => number;
type Result = AppendArgument<
Fn,
boolean
>;
// expected be (a: number, b: string, x: boolean) => number
💡ヒント
infer
を使って、関数の引数と戻り値を推論して取得してみましょう。