为什么Haskell中的函数组合是对关联的？

Question

从数学上讲，函数合成操作是关联的。因此：

f . (g . h) = (f . g) . h

因此，可以将函数合成操作定义为左关联或右关联。

由于Haskell中的正常函数应用（即术语的并列，而不是$操作）是关联的，所以我认为函数组合也应该是关联的。毕竟，世界上大多数人（包括我自己）都习惯于从左到右阅读。

infixr 9 .

null

Answer 1

在存在非严格评价的情况下，右关联是有用的。让我们看一个非常愚蠢的例子：

foo :: Int -> Int
foo = const 5 . (+3) . (`div` 10)

好的，当.是infixr时，该函数的计算值为0时会发生什么？

foo 0
=> (const 5 . ((+3) . (`div` 10))) 0
=> (\x -> const 5 (((+3) . (`div` 10)) x)) 0
=> const 5 (((+3) . (`div` 10)) 0)
=> 5

现在，如果.是infixl呢？

foo 0
=> ((const 5 . (+3)) . (`div` 10)) 0
=> (\x -> (const 5 . (+3)) (x `div` 10)) 0
=> (const 5 . (+3)) (0 `div` 10)
=> (\x -> const 5 (x + 3)) (0 `div` 10)
=> const 5 ((0 `div` 10) + 3)
=> 5