Curry

curry.ts

declare type Curry<P, V> =
  P extends [infer A, infer B, infer C, infer D] ? (a: A) => Curry<[B, C, D], V> :
  P extends [infer A, infer B, infer C] ? (a: A) => Curry<[B, C], V> :
  P extends [infer A, infer B] ? (a: A) => Curry<[B], V> :
  P extends [infer A] ? (a: A) => V :
  () => V; // could be unknow, but this allows to safely pass parameterless functions

declare function curry<T extends any[], R>(fn: (...args: T) => R): Curry<T, R>;

const add = curry((a: number, b: number, c: number) => a + b + c);

add(1)(2)(3)