Haskell ::递归中使用括号

Question

我只是想知道，对于递归示例：

squaresRec :: [Double] -> [Double]   
squaresRec [] = []                       
squaresRec (x:xs) = x*x : squaresRec xs

为什么在递归的情况下，没有括号？ 它不应该像这样：

squaresRec :: [Double] -> [Double]   
squaresRec [] = []                       
squaresRec [x:xs] = x*x : squaresRec xs

我知道这行不通。 但只是想知道其背后的解释。

Answer 1

[]匹配空列表。

[1]匹配仅包含一个元素的列表，该列表必须是等于1的数字。 请注意， [1]实际上是(1:[])语法糖，也就是说，它真正匹配的是：一个以数字1开头的列表，然后是一个空列表...这只是一种复杂的说法“包含单个元素1的列表”。

(x:xs)匹配以x开头，后跟xs （并且可以包含任意数量的元素，可能为零）的列表。 即，该模式匹配具有至少一个元素的任何列表。

[x:xs]再次匹配包含恰好一个要素的列表，并且该元素应该匹配图案(x:xs) （哪怕类型也不有意义，因为您的列表包含Double精度数字，而不是列表。）

Answer 2

我有同样的问题，因为我来自Erlang。

要了解的是，实际上我们在Erlang中使用的[head | tail]模式是由Haskell中的cons函数（即:运算符）转换的。 括号只是用来隔离功能参数，就像（3 + 4）一样。

我知道问“为什么会这样???”很诱人。 并且从视觉上讲更有意义，但是:是我们如何构建（和模式匹配时分开）链接列表的开头和结尾。