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!