怎么能（<$>）被关联

Question

我刚刚注意到(<$>)有一个固定的infixl 4。怎么会这样？

(+1) <$> (/5) <$> [5,10]显然是从右到左。

Answer 1

不，<$>是左联合的，这在你的例子中没有什么不同。 (+1) <$> (/5) <$> [5,10]被读作((+1) <$> (/5)) <$> [5,10]。由于的Functor实例基本上等同于函数组成，所以这恰好工作; fmap (+1) (/5)相当于\x -> (x/5)+1，在这种情况下，您可以得到与您看起来认为可以使用的订单相同的结果，即(+1) <$> ((+5) <$> [5,10])。

因为这有点令人困惑，所以如果您想在一行中应用多个函数，那么在这里使用正常函数组合运算符的可读性可能更好：(+1) . (/5) <$> [5,10]。