模式匹配的名称"xs"来自哪里？

Question

可能重复:
变量名x和xs的历史记录是什么？

模式匹配中的规范名称"xs"来自哪里？

例如in

reverse' []     = []
reverse' [x]    = [x]
reverse' (x:xs) = reverse' xs ++ [x]

它应该是"x"的复数吗？

Answer 1

这就是我一直读它的方式,你有单数和复数,所以x:xs或y:ys等等.

它本身并没有任何意义,它只是一个惯例.

IIRC它也在Learn You a Haskell中提到过.

编辑

我的错误 - 它实际上是在真实世界Haskell的类型和功能章节中.

在此输入图像描述

@FrankSchmitt，我不确定是否在任何地方明确提及它，但正如 Abilern 所说，它只是被视为惯例。(x:xs) 只是意味着单个 x 被附加为 xs 列表的头部（本质上，某种意义上传达了它是一个包含相似 x 元素的列表的信息）。不确定这是否是一个足够好的解释。 (2认同)