如何(<$>)保持关联

Question

我只是注意到它(<$>)的固定性infixl 4.怎么会这样？

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

Answer 1

不,<$>是左关联的,这在你的例子中没有什么不同.(+1) <$> (/5) <$> [5,10]被读为((+1) <$> (/5)) <$> [5,10].这恰好是因为Functor实例(->) a基本上等同于函数组合; fmap (+1) (/5)相当于\x -> (x/5)+1,在这种情况下,你得到的结果与你认为可以使用的顺序相同,即(+1) <$> ((+5) <$> [5,10]).

因为这有点令人困惑,如果你想连续应用多个函数,那么在这里使用普通函数组合运算符的可读性可能更好:(+1) . (/5) <$> [5,10].