如何理解伯德和休斯

Question

想要理解查尔斯·伯德对函数式编程的介绍，以及约翰·休斯的“为什么函数式编程很重要”，就迷失了方向。特别是他们对foldr的讨论。

length = foldr count 0
count a n = n + 1

当它应用于一个列表时，例如，1，2，3，它应该返回3。这是鸟(第66页)：

(#) = foldr oneplus 0
       where oneplus x n = 1 + n

这里还有另一种治疗蓝宝石的方法：

length = foldr (λx.λn.(1 + n)) 0

当我们开始尝试把它应用到像1，2，3这样的列表时，我就不明白这个文件夹是怎么回事了。我只是不明白变量x和n所指的是什么。像sum这样的简单的：

sum = foldr (+) 0

对于1，2，3是

(+) 1 ((+) 2 ((+) 3 0)) = 6

使用Hughes的表示法，用函数/运算符替换列表中隐含的缺点，以及列表中隐含的零的标识，然后(前缀)添加--我理解。但在处理这些神秘变量的时候。也许有人能帮我看一下列表和变量是如何相互作用的。

Answer 1

传递给foldr的函数的参数是正在折叠的列表和累加器(本质上是正在计算的东西)的一个元素。

这些参数的更明确的名称可能会有所帮助：

length = foldr count 0
count ignored_elt length_so_far = length_so_far + 1

理解折叠的另一种方法是将它们编写为递归函数，并编写折叠，并检查这两个定义的相似之处。在这些之后，您应该开始了解折叠捕获的模式。(提示:在这样做时，尽量避免像+这样的交换操作，因为它们会模糊左折叠和右折叠之间的区别)。