作者:手机用户2602906647 | 来源:互联网 | 2023-05-18 12:17
我想了解如何评估下面的Haskell foldr代码.
k x y = x
foldr k 1 [0..5]
结果是0,但我不明白为什么它是零?我想x是1,列表中的任何元素都是y.请问有人向我解释一下吗?我在网上查了一下但找不到任何有用的东西.
1> Lynn..:
该哈斯克尔维基在如何解释一些有用的信息foldr
,包括这一形象:

您可以看到表达式如何扩展为:
0 `k` (1 `k` ... (5 `k` 1)))))