haskell - 变量名 x 和 xs 的历史是什么？

Question

关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。












这个问题似乎与 help center 中定义的范围内的编程无关。 .


7年前关闭。







Improve this question




我正在尝试学习一点 Haskell，我在敬畏和困惑之间交替。对我来说真正疏远的事情之一是模式匹配习语 (x:xs)，尽管这看起来微不足道。 .这些变量名从何而来？它们可以是任何东西——(kernel:cob) , (spam:eggs) (稍微倾斜我的手)，或者——在我看来，最明智的是，(h:t) ，代表“头”和“尾”。

我想 x前缀用于指示两个项目来自同一个列表，因此 (xh:xt)甚至只是 (x:xt)如果你感觉特别简洁。但为什么？这是什么意思？它从哪里来的？我觉得，此刻，知道会帮助我应对我的困惑。

也许我以错误的方式思考这个问题；请随时告诉我。

Answer 1

x是数学中常用的变量名。 xs是 x 的复数形式(得到它？)。在列表模式匹配中，x是一个元素，xs是(通常)几个。