haskell - 模式匹配的名称“xs”从何而来？

Question

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

模式匹配中的规范名称“xs”从何而来？

例如在

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

它应该是“x”的复数吗？

Answer 1

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

它本身实际上没有任何意义，它只是一个约定。

IIRC 在Learn You a Haskell中也提到了它。

---

已编辑

我的错误——它实际上是在关于类型和函数的章节中的Real World Haskell中。