foldr函數的返回值（在Haskell中）是什麼？它得到的參數是什麼？

Question

這是foldr函數的類型。

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

這是什麼類型？ 函數得到的參數是什麼？它得到2或3個參數嗎？什麼是回報價值？

我知道：

(a -> b -> b) - is the function foldr gets (like multiplication) 
b - is the neutral value (such as 1 in multiplication) 

Answer 1

如果您在使用命令式語言如Java和Python的經驗，你可以這樣查看：

foldr有三個參數：一個函數，一個身份值和一個列表。然後它返回一個累計值。

你說得對，a -> b -> b是功能，而b是身份值。然後[a]是列表，第二個b是返回值，它是該函數的結果。這

例子：

  function 
      | identity value 
      | | list 
      | | | 
      v v v 
> foldr (*) 1 [1, 2, 3, 4] 

24 <-- return value 

---

如果你有函數式編程經驗，你可能反而要查看它是這樣的：

foldr有兩個參數：一個結合功能和身份價值。然後它返回一個函數，該函數接受一個列表並返回一個累計值。

在這種情況下，a -> b -> b仍然是組合功能，b是標識值。返回值然後變爲[a] -> b，這是一個列表並返回一個累計值的函數。這

例子：

     combining function 
    returned function  | identity value 
     |     |  | 
     v     v  v 
> let multiply = foldr (*) 1 

> -- since the returned function is of type [a] -> b, we give 
> -- it a list and it gives us the accumulated value back 
> multiply [1, 2, 3, 4] 
24