模式匹配与警卫混合

Question

我想定义函数：

accumulate_list' :: Num a => [a] -> ( a -> a -> a ) -> a
accumulate_list' l f 
    | [] f = 0
    | (x:xs) f = f x (accumulate_list xs f)

但它没有编译，抱怨 x, xs, x, xs, 不在范围内。

为了达到同样的效果，我定义了这个函数

accumulate_list :: Num a => [a] -> ( a -> a -> a ) -> a
accumulate_list [] f = 0
accumulate_list (x:xs) f = f x $ accumulate_list xs f

它编译得很好，如果传入参数的函数是(+)，它就像sum 在列表中所做的那样。是的，我终于发现我想要实现的东西确实已经作为sum函数存在于Prelude中了。

但是，我不明白为什么混合防护和模式匹配的第一个版本无法编译。有什么问题？

Answer 1

这是因为守卫基本上是一个布尔表达式。他们必须评估为True 或False。像这样的东西应该类型检查：

accumulate_list' :: (Eq a, Num a) => [a] -> ( a -> a -> a ) -> a
accumulate_list' l f 
    | l == [] = 0
    | otherwise = undefined -- fill out undefined

还值得一提的是，自从 Haskell 2010 中添加了模式保护，您可以像这样混合模式和保护：

accumulate_list' :: (Eq a, Num a) => [a] -> ( a -> a -> a ) -> a
accumulate_list' l f
    | []     <- l = 0          --pattern for the empty list case
    | 10 < 5      = 10         --arbitrary regular guard just because 
    | (x:xs) <- l = undefined  --pattern for the non-empty case

Answer 2

使用@Sibi 提供的答案，我已经完成它以提供完整的工作代码示例：

accumulate_list' :: (Eq a ,Num a) => [a] -> ( a -> a -> a ) -> a
accumulate_list' l f 
    | l == [] = 0
    | otherwise = f x $ accumulate_list xs f
                    where (x:xs) = l