Question

我是ocaml的新手，通过了一些教程，并认为下一步，我会通过阅读一些OOS来熟悉语法。所以我从facebook下载了Flow。

然而，我使用'|＆gt;'遇到了一些奇怪的语法我无法弄清楚。

首先我遇到了“|＆gt;” here：

  args = CommandSpec.ArgSpec.(
    empty
    |> flag "--tokens" no_arg
        ~doc:"Include a list of syntax tokens in the output"
    |> flag "--pretty" no_arg
        ~doc:"Pretty-print JSON output"
    |> CommandUtils.from_flag
    |> anon "file" (optional string) ~doc:"[FILE]"
  )

当我在寻找它的定义时，我在另一个文件中找到了它：

let (|>) (o : 'a)  (f : 'a -> 'b) : 'b = f o

但我不太清楚它在做什么，或者它是否相关。

你能帮帮忙吗？

Answer 1

let (|>) (o : 'a)  (f : 'a -> 'b) : 'b = f o

这是声明一个名为|>的中缀运算符，由于名称周围的parens，你知道它是中缀。

它需要两个参数，o具有未知类型'a，f是一个函数，从'a到第二个未知类型'b。

|>会返回'b类型的内容。

结果由f o计算。

换句话说，o |> f与f o相同。这只是一个肮脏/干净的技巧，能够以这种方式在链中编写参数声明，而不必在所有内容周围放置大量括号。运算符的优先级较低，因此它充当每个标志声明之间的分隔符。

Answer 2

它是（前进）管道操作员。

而不是在表单中调用函数：

f arg

管道操作符允许您将其作为：

调用

arg |> f

这使得链接函数调用对读取和写入都更加容易。

arg |> f |> g |> h

VS

h (g (f arg))

Answer 3

是管道运营商它允许很容易地应用一系列函数： f（g（h x））可以写成x |＆gt; h |＆gt; g |＆gt; F。

它的声明，使用括号，表示它是一个中缀运算符： x |＆gt; f表示f x。

运营商'|＆gt;'在facebook的流程中

3 个答案: