带有ArgumentTypes的带n参数的Typescript类型安全curry函数

是一种函数式编程的概念，用于创建一个可以部分应用参数的函数，并返回一个新的函数，以便稍后传入剩余的参数。Typescript类型安全curry函数可以确保在编译时捕获参数类型错误，提高代码的可靠性和可维护性。

该函数的定义如下：

type Curry<Fn extends (...args: any[]) => any> = 
    <P extends any[]>(...args: P) => 
        ArgumentTypes<Fn, P> extends infer A ? 
            A extends any[] ? 
                ReturnType<Fn> extends infer R ? 
                    R extends Promise<any> ? 
                        Promise<Curry<(...args: A) => R>> : 
                        Curry<(...args: A) => R> : 
                    never : 
                never : 
            never;

type ArgumentTypes<Fn extends (...args: any[]) => any, P extends any[]> = 
    P extends [...infer A, ...any[]] ? 
        A : 
        never;

function curry<Fn extends (...args: any[]) => any>(fn: Fn): Curry<Fn> {
    return (...args) => {
        if (args.length >= fn.length) {
            return fn(...args);
        } else {
            return curry((...rest) => fn(...args, ...rest));
        }
    };
}

这个curry函数可以接受一个函数作为参数，并返回一个新的函数。新函数可以接受任意数量的参数，并在参数数量满足原函数的要求时执行原函数。如果参数数量不足，则返回一个新的函数，继续接受剩余的参数，直到参数数量满足要求。

使用curry函数的优势是可以方便地创建可复用的函数，通过部分应用参数来生成新的函数。这样可以减少重复的代码，并提高代码的可读性和可维护性。

应用场景：