haskell - 缺点在 Haskell : 中如何工作

Question

缺点似乎不像我在第二个例子中所期望的那样工作。我错过了什么？

这里 cons 将一个元素添加到列表中，这很棒。

1:[2,3]

但是有了这个，它似乎将第一个元素放入列表 x 中，将尾部放入列表 xs 中:

let { myInt :: [Int] -> [Int] ; myInt (x:xs) = xs }

我真的不明白为什么会发生这种情况，这与递归有关吗？

提前致谢!

Answer 1

:运算符可用于构造列表和解构列表，具体取决于您使用它的位置。如果你在表达式中使用它，它用于构造一个列表，就像你说的那样。当你在一个模式中使用它时，它会做相反的事情——它解构(分解)一个列表。

构建列表:

λ> 1:2:[3, 4]
[1,2,3,4]

解构列表:

λ> let first:second:rest = [1, 2, 3, 4]
λ> first
1
λ> second
2
λ> rest
[3, 4]

这同样适用于 Haskell 中的许多数据构造函数。您可以使用 Just构建 Maybe值(value)。

λ> let name = Just "John"
λ> :type name
name :: Maybe [Char]

但是，您也可以使用它来拆开 Maybe值(value)。

λ> let Just x = name
λ> x
"John"