=> number;
OK, 那为什么Ramda 的文档不直接使用TypeScript 表达函数的类型呢?...Ramda 文档中的类型签名使用的是Haskell 的语法, Haskell 作为一门纯函数式编程语言, 可以很简洁地表达柯里化的语义, 相较之下, TypeScript 的表达方式就显得比较臃肿....当然, 使用Haskell 的类型签名的意义不仅于此, 让我们再看看其他"奇怪"的函数类型:
ap:
[a → b] → [a] → [b]
Apply f => f (a → b) → f a → f...可以理解为一种 「上下文」, 这段类型签名可以先简单地理解为:
将一个包裹在上下文中的「函数」取出, 再将另一个包裹在上下文中的「值」取出, 调用函数后, 将函数的返回值重新包裹进上下文中并返回...., 有非常重要重要的学习意义, 但其抽象的解析超出本文范围, 在这里我们只聚焦于「是什么」, 暂不考虑「为什么」.