打字稿：基于子函数参数的高阶函数参数类型

问题描述

我试图弄清楚，TS是否可能基于子函数的自变量来推断高阶函数自变量类型。因此，在示例中，变量result下的类型为number[]。如果我输入sample(s => ...)(3)，TS会根据子函数中提供的参数将s的类型推断为number？

谢谢！

type lolo = <TIn,TOut>(map: (arg: TIn) => TOut) => (arg: TIn) => TOut;
declare const sample: lolo;
const result = sample((s) => [s])(3);

上面突出显示的代码变体

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）