GHCI 中的 Haskell : Why do I need parens to make this pattern match work?

Question

因此，使用 GHCI，这些语句是等效的，这对我来说很有意义，因为 end0 中的列表表达式是 end1 中的列表表达式的语法糖:

let end0 [x,y,z] = z

let end1 (x:y:z:[]) = z

但是从 end1 的模式中取出括号会给我一个“模式中的解析错误”错误。那么这是为什么呢？括号在模式匹配中是否有特殊含义，或者是像我在将括号与运算符一起使用时通常想到的优先级问题吗？

Answer 1

这与优先级有关。

函数优先于 :，因此 GHC 会推断您仅为 x 定义函数。这就是为什么你必须将其全部打包在括号内。