0

Consider a function:

const f = a => b => ... x => { return somevalue }

How do I get the type for just the last function typeof x => { return somevalue } without knowing the total amount of closures?

My initial thought is that we need to build a type that uses recursion and conditional type checking until we reach the end. However, I'm not sure if typescript supports recursive types for this kind of problem.

1 Answer 1

4

Recursive conditional types will be supported in TypeScript 4.1 when it comes out. For now it's available in typescript@next. Then you'll be able to write something like

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

and use it on your f function:

declare const somevalue: SomeValue;
const f = (a: any) => (b: any) => (c: any) => (d: any) => (x: any) => { return somevalue }
type LastFuncF = LastFunc<typeof f>; // type LastFuncF = (x: any) => SomeValue

Playground link to code


Until then, you can use either an unsupported workaround to get this behavior, like the following deferred-object-lookup thing which is confusing and annoying:

type LastFunc<T extends (...args: any) => any> =
    T extends (...args: any) => infer R ? {
        0: LastFunc<Extract<R, (...args: any) => any>>, 1: T
    }[R extends (...args: any) => any ? 0 : 1] : never

or you can use only supported features by unrolling the loop to a fixed depth, which is redundant and annoying:

type LastFunc<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF0<R> : T : never;
type LF0<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF1<R> : T : never;
type LF1<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF2<R> : T : never;
type LF2<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF3<R> : T : never;
type LF3<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF4<R> : T : never;
type LF4<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF5<R> : T : never;
type LF5<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF6<R> : T : never;
type LF6<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF7<R> : T : never;
type LF7<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF8<R> : T : never;
type LF8<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LF9<R> : T : never;
type LF9<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? LFX<R> : T : never;
type LFX<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R extends (...args: any) => any ? R : T : never;

Playground link to code


Personally I'd just wait until TS4.1, if I were you. Okay, hope that helps; good luck!

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.