ocaml - Reasonml中的->和|>有什么区别？

Question

一段时间的密集搜索为我提供了一些示例，其中人们在一个代码中使用两种类型的运算符，但通常它们看起来就像两种做某件事的方式，甚至具有相同的名称

Answer 1

tl; dr：定义上的区别是->传递到第一个参数，而|>传递到最后一个参数。那是：

x -> f(y, z) <=> f(x, y, z)
x |> f(y, z) <=> f(y, z, x)

不幸的是，有些细微之处和含义使这在实践中变得更加复杂和混乱。当我尝试解释其背后的历史时，请多多包涵。

管道时代之前

在没有管道运算符之前，大多数函数式程序员使用“对象”设计了大多数函数，该函数将函数作为最后一个参数。这是因为使用部分函数应用程序使函数组合更加容易，并且如果未应用的参数位于末尾，则使用咖喱语言可以使部分函数应用程序更加容易。

咖喱

在一种咖喱语言中，每个函数都只接受一个参数。看起来带有两个参数的函数实际上是一个带有一个参数的函数，但是随后返回另一个带有另一个参数的函数，并依次返回实际结果。因此，这些等效：

let add = (x, y) => x + y
let add = x => y => x + y

或更确切地说，第一种形式只是第二种形式的语法糖。

部分功能应用

这也意味着我们只需提供第一个参数就可以轻松地部分应用函数，这将使其返回一个在生成结果之前接受第二个参数的函数：

let add3 = add(3)
let result = add3(4) /* result == 7 */

无需进行精简，我们就不得不将其包装在一个函数中，该函数更加麻烦：

let add3 = y => add(3, y)

巧妙的功能设计

现在事实证明，大多数函数都在“ main”参数上操作，我们可以称其为函数的“对象”。 List函数通常在特定列表上运行，例如，一次不会运行多个列表（当然，当然也会发生）。因此，将main参数放在最后可使您更轻松地编写函数。例如，使用几个经过精心设计的函数，定义一个将可选值列表转换为带有默认值的实际值列表的函数非常简单：

let values = default => List.map(Option.defaultValue(default)))

首先使用“对象”设计的功能需要您编写：

let values = (list, default) =>
  List.map(list, value => Option.defaultValue(value, default)))

管道时代的曙光（具有讽刺意味的是，这并非管道优先）

据我了解，有人在F＃中闲逛，发现了一种常见的流水线模式，并认为要么为中间值命名绑定，要么使用太多该死的括号以倒序嵌套函数调用是很麻烦的。因此，他发明了管道前导运算符 |>。这样，管道可以写成

let result = list |> List.map(...) |> List.filter(...)

代替

let result = List.filter(..., List.map(..., list))

要么

let mappedList = List.map(..., list)
let result = List.filter(..., mapped)

但这仅在main参数为last时才有效，因为它依赖于通过currying进行部分函数的应用。

然后... BuckleScript

随后是Bob，他是第一位创建BuckleScript的人，目的是将OCaml代码编译为JavaScript。原因采用BuckleScript，然后Bob继续为BuckleScript创建一个名为 Belt的标准库。 Belt几乎忽略了上面我通过将主要参数放在首位所解释的所有内容。为什么？这还有待解释，但据我所知，主要是因为JavaScript开发人员对它更熟悉1。

Bob确实认识到管道运算符的重要性，因此他创建了自己的管道优先运算符 |.，该运算符仅与BuckleScript2一起使用。然后，Reason开发人员认为这看起来有点丑陋且缺乏方向，因此他们提出了 ->运算符，该运算符转换为 |.并完全像它一样工作...只是它的优先级不同，因此不会。不能和其他任何东西一起玩3

结论

管道优先运算符本身并不是一个坏主意。但是在BuckleScript中实现和执行它的方式引起了很多混乱。它具有意想不到的行为，会鼓励不良的功能设计，除非一概而论4，否则根据您要调用的函数类型在不同的管道运算符之间进行切换时会加重沉重的认知负担。

因此，我建议避免使用管道优先运算符（ ->或 |.），如果需要通过管道将“对象”传递给管道，则建议使用管道转发（ |>）和 placeholder argument（原因除外）。 “ -first函数，例如 list |> List.map(...) |> Belt.List.keep(_, ...)。



1这种类型与类型推断的交互方式也有一些细微的差异，因为类型是从左到右推断的，但这对两种样式的IMO都不明显。

2因为它需要语法转换。与管道转发不同，它不能仅作为普通运算符实现。

3例如， list |> List.map(...) -> Belt.List.keep(...) doesn't work as you'd expect

4这意味着无法使用几乎所有在管道优先运算符存在之前创建的库，因为这些库当然是在考虑原始管道前移运算符的情况下创建的。这有效地将生态系统一分为二。