哈斯克爾foldr相似的名單

Question

考慮下面的例子

foldr(\ x y -> ........ 

如果輸入的是例如列表[1,2,3]

是什麼x和什麼爲y？

Answer 1

讓我們來看看foldr的類型。

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

既然你提供使用x和y的功能，你可以從x是從你的列表（[1,2,3]）的值類型看，和y必須累加器值，你初始化第二個參數爲foldr。

Answer 2

的foldr定義是

foldr f z []  = z 
foldr f z (x:xs) = f x (foldr f z xs) 

您只需直接將其套用在你的榜樣：

foldr (\x y -> foo x y) z [1,2,3] 
= 
(\x y -> foo x y) 1 (foldr (\x y -> foo x y) z [2,3]) 
= 
foo 1 (foldr (\x y -> foo x y) z [2,3]) 

所以x是1和y是foldr (\x y ...) z [2,3])。

一般來說，你能想到的foldr f z作爲一個清單，f替換每個(:)，而[]與z。所以foldr f z [a,b,c,d] = f a (f b (f c (f d z)))（因爲