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值。

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

但是，您也可以使用它来分割Maybe值。

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

Answer 2

这里发生了两件不同的事情。您的第一个示例使用(:)运算符从元素1和列表[2,3]创建新列表。

1:[2,3]

您的第二个示例使用模式匹配。表达式......

myInt (x:xs) = ...

...基本上说“如果myInt的参数由一个（可能是空的）列表前面的元素组成，那么让我们调用第一个元素x和列表xs “。这个例子可以更清楚：

λ> let { myInt :: [Int] -> String ; myInt (x:xs) = "The first element is " ++ show x ++ " and the rest of the list is " ++ show xs}
λ> myInt [1,2,3]
"The first element is 1 and the rest of the list is [2,3]"

请注意，这仅在输入列表包含至少一个元素时才有效。

λ> myInt []
"*** Exception: <interactive>:9:34-127: Non-exhaustive patterns in function myInt

但是，我们可以处理输入列表为空的情况：

λ> let { myInt :: [Int] -> String ; myInt (x:xs) = "The first element is " ++ show x ++ " and the rest of the list is " ++ show xs; myInt _ = "empty list"}
λ> myInt []
"empty list"

缺点如何在Haskell中工作：

2 个答案: