haskell - myFunction(x :y:xs) mean in Haskell) 是什么意思

Question

我是 Haskell 的新手，我遇到了一件我似乎可以解决的事情。所以我有这个函数:

merge :: [Int] -> [Int]
merge xs = merged ++ padding

where padding          = replicate (length xs - length merged) 0
      merged           = combine (filter (/= 0) xs)
      combine (x:y:xs) | x == y    = x * 2 : combine xs
                       | otherwise = x     : combine (y:xs) 
      combine x        = x

问题是我不太明白合并的作用。我做了研究，发现

myFunction(x:xs) ...

代表“x”在某种程度上是我列表的头部，我可以用它做一些事情，对吧？这是否意味着在myFunction(x:y:xs) ...“x”是最后一个元素，“y”将是 xs 中倒数第二个元素？这是对的还是我大错特错？还有“| x == y = x * 2”之后的“:”呢？ ，我了解到在 Haskell 中“:”意味着将一个值附加到列表中，但在这种情况下我真的不太明白它的作用......一些帮助将非常感激。

Answer 1

x:y:xs 是一种模式，表示“这是一个至少包含 2 个元素的列表。我们将该列表的第一个和第二个元素称为 x 和 y。剩余的子列表，我们称之为 xs 可能是空的或非空的”。也就是说，它既代表列表 [1,2] 又代表 [1,2,3,4.....]，但不代表 [1]。

您的第二个查询可以通过重写来回答

| x == y = x * 2 : 合并xs

作为

| (x == y) = ((x * 2) :合并 xs) 为清楚起见。这是一个标准的 if-else 流程，只不过 Haskell 不要求您显式添加这些括号。请注意，“管道”被称为守卫，其工作方式类似于 Java/C# 中的 switch-case 语句。