这个 haskell 函数中的这些值从哪里来？

Question

假设我有以下函数：

sumAll :: [(Int,Int)] -> Int
sumAll xs = foldr (+) 0 (map f xs)
  where f (x,y) = x+y

sumAll [(1,1),(2,2),(3,3)] 的结果将为 12。

我不明白的是 (x,y) 值来自哪里。 好吧，我知道它们来自 xs 变量，但我不明白如何实现。 我的意思是，直接执行上面的代码而不使用 where 关键字，它会是这样的：

sumAll xs = foldr (+) 0 (map (\(x,y) -> x+y) xs)

而且我无法理解，在顶部代码中， f 变量和 (x ,y) 变量表示 (\(x,y) -> x+y) lambda 表达式。

Answer 1

希望这会有所帮助。 关键是 f 应用于列表中的元素，这些元素是成对的。

sumAll [(1,1),(2,2),(3,3)] 
      -- definition of sumAll
    = foldr (+) 0 (map f [(1,1),(2,2),(3,3)])
      -- application of map
    = foldr (+) 0 (f (1,1) : map f [(2,2),(3,3)])
      -- application of foldr
    = 0 + foldr (+) (f (1,1)) (map f [(2,2),(3,3)])
      -- application of map
    = 0 + foldr (+) (f (1,1)) (f (2,2) : map f [(3,3)])
      -- application of foldr
    = 0 + (f (1,1) + foldr (+) (f (2,2)) (map f [(3,3)]))
      -- application of f
    = 0 + (2 + foldr (+) (f (2,2)) (map f [(3,3)]))
      -- application of map
    = 0 + (2 + foldr (+) (f (2,2)) (f (3,3) : map f []))
      -- application of foldr
    = 0 + (2 + (f (2,2) + foldr (+) (f (3,3)) (map f [])))
      -- application of f
    = 0 + (2 + (4 + foldr (+) (f (3,3)) (map f [])))
      -- application of map
    = 0 + (2 + (4 + foldr (+) (f (3,3)) []))
      -- application of foldr
    = 0 + (2 + (4 + f (3,3)))
      -- application of f
    = 0 + (2 + (4 + 6))
    = 0 + (2 + 10)
    = 0 + 12
    = 12

Answer 2

在 Haskell 中，函数是第一类数据类型。

这意味着您可以像传递其他类型的数据（例如整数和字符串）一样传递函数。

在上面的代码中，您将“f”声明为一个函数，它接受一个参数 a（两个值 (x,y) 的元组）并返回 (x + y) 的结果。

foldr 是另一个函数，它接受 3 个参数、一个二元函数（在本例中为 +）、一个起始值 (0) 和一个要迭代的值数组。

简而言之，“where f (x,y) = x + y”只是

sumAll :: [(Int,Int)] -> Int
sumAll xs = foldr (+) 0 (map myFunctionF xs)

myFunctionF :: (Int,Int) -> Int
myFunctionF (x,y) = x + y

Edit 的作用域简写：如果您不确定foldr 的工作原理，请查看 Haskell 参考 Zvon
下面是foldl/map 的示例实现。

foldl :: (a -> b -> b) -> b -> [a] -> b
foldl _ x [] = x
foldl fx (y:ys) = foldl f (f y x) ys

map :: (a -> b) -> [a] -> [b]
map _ [] = []
map f (x:xs) = (f x) : (map f xs)

Answer 3

不是答案，但我想我应该指出你的函数 f:

f (x, y) = x + y

可以表示为

f = uncurry (+)