Ramda 类型签名下鲜为人知的一面在Ramda 的API文档中, 类型签名的语法有些"奇怪":addNumber → Number → Number我们结合Ramda 的柯里化规则, 稍加推测, 可以将这个函数转换为...number) => number;OK, 那为什么Ramda 的文档不直接使用TypeScript 表达函数的类型呢?...其实上面的示例已经部分回答了这个问题 -- 因为更加简洁.其实Ramda 文档中的类型签名使用的是Haskell 的语法, Haskell 作为一门函数式编程语言, 其语法可以很简洁地表达柯里化的语义,...相较之下, TypeScript 的重载的表达方式就显得比较臃肿.当然, 使用Haskell 的类型签名的意义不仅于此, 让我们再看看其他"奇怪"的函数类型:ap[a → b] → [a] → [b]...>;报错信息如下:Type 'F' is not generic.在类型签名中F是一个类型构造器, 既和Array一样的返回类型的类型.然而, TypeScript 里根本无法声明"一个类型参数为类型构造器