如何在 Haskell 中检测列表的结尾？

Question

我正在编写一个使用特定公式计算 2 个列表的递归函数。 但我会简化函数，以便您了解我遇到的问题，因为这里的重点是检测列表的 []。

所以我有以下代码：

listSum::([Integer],[Integer])->Double
listSum ((x:xs),(y:ys)) 
    | ((x:xs),(y:ys))==(x:[],y:[])=0.0
    | otherwise = (((fromIntegral x)::Double)+((fromIntegral y)::Double)) + listSum ((xs),(ys))

我现在的输出

listSum([1,2],[1,2])
2.0

listSum([1],[1])
0.0

listSum([],[])
*** Exception: file.hs: .....: Non-exhaustive patterns in function ListSum

还有我想要的输出

listSum([1,2],[1,2])
6.0

listSum([1],[1])
2.0

listSum([],[])
0.0

我错过了什么？还是我写的太多了？

Answer 1

你的函数中不需要第一个守卫。你可以简单地写成下面这样（我刚刚删除了::Double，因为Haskell可以推断出来）

listSum :: ([Integer], [Integer]) -> Double
listSum ([], []) = 0.0
listSum ((x:xs),(y:ys)) = fromIntegral x + fromIntegral y + listSum (xs, ys)

现在，只要传递给listSum 的参数是空列表，结果将为0.0，否则将调用递归函数。

注意：仅当两个列表大小相等时，上述功能才有效。否则需要这样写

listSum::([Integer],[Integer])->Double
listSum ([], []) = 0.0
listSum ((x:xs), []) = fromIntegral x + listSum(xs, [])
listSum ([], (y:ys)) = fromIntegral y + listSum(ys, [])
listSum ((x:xs),(y:ys)) = fromIntegral x + fromIntegral y + listSum (xs, ys)

注意：更简单，整个代码可以写成as suggested by Rein Henrichs，像这样

pairwiseSum xs ys = sum (zipWith (+) xs ys)