Haskell - 柯里化(Currying)？需要进一步解释

Question

所以像

addList :: [int] -> int
addList = foldl1 (+)

为什么这行得通？ curry 部分。为什么没有变量？

Answer 1

如果你定义一个像 f x y = bla 这样的函数, 这与 f x = \y -> bla 相同, 与 f = \x -> (\y -> bla) 相同.换句话说f是一个接受一个参数的函数，x , 并返回另一个接受一个参数的函数 y ，然后返回实际结果。这被称为柯里化(Currying)。

类似地，当您执行 f x y , 同 (f x) y . IE。您正在调用函数 f带有参数 x .这将返回另一个函数，您将其应用于参数 y .

所以换句话说，当你做 addList xs = foldl1 (+) xs ，您首先调用foldl1 (+)然后返回另一个函数，您将其应用于 xs .所以由于 foldl1 (+) 返回的函数实际上和addList是一样的，您可以将其缩短为 addList = foldl1 (+) .