有多少参数采用Haskell的foldr函数？

Question

我是Haskell的新手，我正在读这本书"Real World Haskell"。在本书的第4章中，作者要求使用fold重写groupBy函数。本书的一位读者（Octavian Voicu）给出了以下解决方案：

theCoolGroupBy :: (a -> a -> Bool) -> [a] -> [[a]]
theCoolGroupBy eq xs = tail $ foldr step (\_ -> [[]]) xs $ (\_ -> False)
                       where step x acc = \p -> if p x then rest p else []:rest (eq x)
                                          where rest q = let y:ys = acc q in (x:y):ys

我的问题很简单：我知道foldr有3个参数：一个函数，一个初始值和一个列表。但在代码的第二行，foldr需要4个参数。为什么会这样？谢谢。

Answer 1

斯科特的答案是正确的，foldr的结果是一个函数，所以这就是为什么foldr看起来有4个参数。 foldr函数确实需要3个参数（函数，基数，列表）：

*Main> :type foldr
foldr :: (a -> b -> b) -> b -> [a] -> b

我将在这里给出一个不那么复杂的例子：

inc :: Int -> (Int -> Int)
inc v = \x -> x + v

test = inc 2 40  -- output of test is 42

在上面的代码中，inc接受一个参数v，并返回一个函数，该函数通过v递增其参数。

正如我们在下面看到的，inc 2的返回类型是一个函数，因此它的参数可以简单地添加到最后：

*Main> :type inc
inc :: Int -> Int -> Int
*Main> :type inc 2
inc 2 :: Int -> Int
*Main> :type inc 2 40                                                        
inc 2 40 :: Int

括号可用于强调返回值是一个函数，但在功能上它与上面的代码相同：

*Main> (inc 2) 40
42

PS：我是原评论的作者:)

Answer 2

在这种情况下，我认为最好看一下foldr的类型签名：

foldr :: (a -> b -> b) -> b -> [a] -> b

并将其与我们所拥有的表达式相匹配（为了清楚起见，添加了括号）：

(foldr step (\_ -> [[]]) xs) (\_ -> False)

foldr的第二个参数与其结果相同。在这种情况下，第二个参数是一个函数。在这种情况下，这意味着带有3个参数的foldr表达式将是一个函数。

你认为是foldr函数的第四个参数也可以被认为是foldr结果的第一个参数！

Answer 3

Haskell中的所有函数只接受一个参数。当我们有一个类型为a -> b -> c的函数时，它只是写一个a -> (b -> c)的简短方法，即一个函数，它接受一个参数并产生一个带另一个参数的函数。有关更多信息，请参阅Currying。

在这种情况下，请参阅@ sepp2k的答案。 foldr产生一个函数，它需要另一个（“第四”）参数。

Answer 4

在这种情况下，foldr用于构建函数。 (\_ -> False)是该功能的论据。