Haskell递归列表求和

Question

我是函数式编程和Haskell的新手，所以我只是通过尝试一些Euler问题来开始学习两者。 这涉及大量列表求和。

因此，我尝试编写一个递归列表求和函数，该函数将一个列表作为输入并返回一个整数作为输出，例如：

-- Sum up a list
listsum :: [int] -> int
listsum [a:b:[]] = a + b
listsum x = head x + listsum tail x

编译此代码时，我收到此错误：

Couldn't match expected type `[[int] -> int]'
            with actual type `[a0] -> [a0]'
Relevant bindings include
  x :: [int]
    (bound at C:\Users\Rade\Documents\GitHub\haskell\euler_2.hs:15:9)
  listsum :: [int] -> int
    (bound at C:\Users\Rade\Documents\GitHub\haskell\euler_2.hs:14:1)
Probable cause: `tail' is applied to too few arguments
In the first argument of `listsum', namely `tail'
In the second argument of `(+)', namely `listsum tail x'

我已经尝试研究模式匹配，但是我无法理解预期类型与实际类型的含义。 我要去哪里错了？

Answer 1

listsum [a:b:[]] = a + b

在这里， a:b:[]表示列表[a, b] ，所以[a:b:[]]表示[[a, b]] ，这不是您想要的。

只需将其更改为

listsum (a:b:[]) = a + b

现在，在

listsum x = head x + listsum tail x

部分listsum tail x表示将listsum应用于tail ，然后将结果应用于x 。 我想您的意思是将tail应用于x ，然后将listsum应用于结果 ，该结果可以表示为listsum (tail x) 。

---

我建议使用一个更简洁的实现，该实现假定将空列表相加得出零。

listsum [] = 0
listsum (x:t) = x + listsum t

这在功能上与您的实现有所不同，因为它可以正确处理具有零个或一个元素的列表。