模式匹配（x:_）：为什么列表头有界到 x？

Question

只是在这里与 Haskell 苦苦挣扎...我有一个非常糟糕的术语，并且鉴于我的母语不是英语，因此进行正确的搜索有点复杂：P 我正在关注一些 Haskell 教程/书籍（向你学习Haskell，Real World Haskell，Happy Learn Haskell，还有一个邮件列表和一些随机页面），现在我停在这里：

head' :: [Char] -> Char
head' (x:_) = x

这个函数接收一个字符串类型的元素列表，如果我这样应用它：

head' "hello"

它返回“h”，它以x为界，“ello”以_为界，但没关系，因为我不使用它。我知道 (:) 函数（或用作中缀运算符）接收一个将被放置的元素和一个新列表的开始，其尾部将是另一个接收到的元素： 'a' : ['b', 'c'] 将返回 "abc" 但是，为什么当我在括号内使用 ":" 时，第一个元素绑定到 x 而其余元素绑定到 _？这里发生了什么？

我读了一些类似(x:xs) pattern Haskell logic 和这个（我认为更接近于回答我的问题）What does (x:_) and [x:_] mean? 的 SO 问题，但最后一个接受的问题说： ": 是列表的构造函数，它将新列表的头部作为左参数，尾部作为右参数。如果你将它用作像这里这样的模式，这意味着你匹配的列表的头部被赋予右边的图案和左边的尾巴。"

“列表的头部在右侧，尾部在左侧”......这真的让我感到困惑：如果使用时将头部赋予“_”而尾部赋予“x”“： " 关于模式匹配，为什么 x 有列表头的值？

我想可能是我的英语水平不好，这让我很难掌握这一点。我也会感谢一些提示（例如特定搜索）而不是直接答案。

---

编辑：对于像我这样的另一个菜鸟......正如接受的答案所说，“abcd”只是'a'：'b'：'c'：'d'，模式（x：_）匹配'a':'b' 以此类推，下划线表示“我不关心其余的”，并接收其余字符。就是这样:)

Answer 1

列表数据类型定义如下：

data [a] = [] | a : [a]

这意味着as 的列表要么是空的，要么是使用: (cons) 构造函数附加到尾部元素的头部元素。

当您对列表进行模式匹配时，您可以为这两种情况中的每一种情况定义您的函数。在head' 的情况下，当给定一个空列表时它只会失败，所以我们只匹配一种情况：a : [a] 情况。

如果你调用了head' "hello"（因为它现在存在，包括类型签名）它应该会失败，因为"hello" 实际上是String——Haskell 中[Char] 的别名。 "hello" 只是以下结构的语法糖：

"hello" = 'h':'e':'l':'l':'o':[]

因此，当您使用head' 对列表进行模式匹配时，您会在第一个: 的左侧得到'h'，并且列表的其余部分（我们不关心）绑定到_.