Haskell 函数组合(正向管道) - 为什么会这样？

Question

在下面的代码中，fibseq表示来自斐波那契数列的数字序列.
(来自解决 Project Euler #2 的代码)

我定义了一个中缀函数|> :

(|>) x y = y x.

这让我可以执行以下操作(如 unix 管道):

take 34 fibseq |> filter even |> filter (< 4000000) |> sum

我的问题是，为什么这行得通？

我会认为 take 34 fibseq |> filter even应该变成 filter (take 34 fibseq) even ，(我认为)会导致类型错误。

相反，它似乎正在转变为 filter even (take 34 fibseq)哪个有效并且是我想要的，但我不明白它为什么有效。

Answer 1

函数应用程序(如 filter even )比任何运算符绑定(bind)得更紧密，因此您的代码等效于:

(take 34 fibseq) |> (filter even) |> (filter (< 4000000)) |> sum