Typescript 类型脚本是否可以只键入最后一个（或第n个）泛型

通常，为了指定B的类型，我们还需要添加A的类型

function f<A,B>(cb: (a:A) => b:B):B {
  ...
}

f<string,number>()

将返回正确的类型推断

但我想做点像

f<,string>

f

没有任何推断

---

这是因为有时嵌套会把类型搞得非常糟糕，并且会重复指定所有的左类型，例如，当使用来自ramda或Saccession的管道时。

如果我理解正确，您希望进行部分类型参数推断，但我目前在TypeScript中不支持这种方法。看见有一些变通方法，但它们涉及到curry或伪参数。

函数f（a:a=>b:b）：b{…}

的语法无效；你是说函数f（cb:（a:a）=>B:B{…}？可能重复的谢谢，是我在找的。而且在某种程度上是相关的。

f<,string>