haskell - : infix operator do in Haskell? 是什么意思

Question

我正在阅读A Gentle Introduction to Haskell (这不是那么温和)并且它重复使用 : 运算符，而没有直接解释它的作用。

那么，它到底有什么作用呢？

Answer 1

: 是“前置”运算符:

x : xs

返回一个列表，其中 x 作为第一个元素，后跟 xs 中的所有元素。在其他函数式语言中，这通常称为 cons，因为它通过从空列表中重复应用来递归地“cons”构建列表:

1 : 2 : 3 : 4 : []

是列表[1, 2, 3, 4]。