你如何阅读ramda文档？

Question

我无法理解Ramda docs的签名。例如，如果你看一下map你看这

Functor f => (a → b) → f a → f b

我没有看到这个模式是如何适应的例子：

var double = x => x * 2; 

R.map(double, [1, 2, 3]); //=> [2, 4, 6] 

本例中的仿函数是[1,2,3]，所以请问是怎么获取f的签名Functor f => (a → b) → f a → f b？另外，→是什么意思？

Answer 1

我在这里给出一个简短的答案，但更完整的一个分布在a similar question的两个答案中，而这个答案又取自Ramda wiki page。 （免责声明：我该网页的作者和Ramda本身的负责人之一。）

这分为两个部分：

Functor f => (a → b) → f a → f b 

脂肪箭头前（=>）我们有约束其余的。本例中的单个约束是变量f必须是Functor。 Functor是其成员具有遵守特定法律的map方法的类型。并且声明是通过另一种类型参数化的，所以我们不写f，但是f String，f Number或更一般地，f a对于某些未知类型a。

紧身箭头（->）是Function类型的缩写。因此，而不是写

Function x y 

，我们可以代替写

x -> y 

或在需要时以避免歧义。

(x -> y) 

把这些在一起，我们可以注意到，在R.map(double, [1, 2, 3])，我们从Number功能（double）到Number，这意味着我们的a和b都是Number。而我们的函子是Array。因此，我们使map接受从Number到Number的函数，并返回一个函数，该函数接收一个数组Number s并返回一个新的数组Number s。 （这是因为在这个系统中，->绑定到右边，所以(a -> b -> c)相当于(a -> (b -> c))。在Ramda中，所有函数都以这样的方式进行curried，以便您可以用任何初始参数调用它们，直到所有项已经提供的，你继续找回功能，因此与Ramda功能有R.map(double)([1, 2, 3])和R.map(double, [1, 2, 3])之间没有真正的区别