怎麼能（<$>）被關聯

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]。