haskell - 为什么在这种情况下 `:` 需要括号？

Question

在 GHC 解释器中输入以下内容不会产生错误:

let head' (x:_) = x

但是如果我们去掉括号:

let head' x:_ = x

...我们得到:

Parse error in pattern: head'

为什么需要括号？

Answer 1

在 Haskell 中，函数应用程序的优先级高于任何运算符，模式匹配反射(reflect)了这一点。

因此，如果没有括号，head' x:_ 将被解析为 (head' x):_，这在这种情况下没有意义，并且导致错误。