这个函数连接如何与一阶函数一起工作？

Question

let concat (l : string list) : string = fold_right (fun a x -> a ^ x) l ""

所以要通过它，我看到了

• 让 concat 获取一个包含字符串的列表，并返回一个字符串。
• 右折叠需要3个参数，
  • 1 第一个是连接两个字符串的函数，它接受 a 和 x，然后使用 ^ 连接它们。
  • 2第二个参数是列表，
  • 3，最后第三个是累加器，将每次传递都添加到其中。

但是，func a x 怎么知道 a 是列表的第一个元素，而 x 是第二个。

而当它再次通过时，它怎么知道a是列表的第三个元素，x是第四个元素，以此类推？

Answer 1

accumulator 是fold function 的第一个参数a，x 是列表的set to each element，fold 依次经过它。

fold function 的返回值是accumulator 的new value。

accumulator 的初始值是empty string，因此第一个连接的结果，即new accumulator，与列表的first element 的值相同。

然后将next element 连接到该位置，以此类推，直到到达列表末尾，此时fold 返回完全连接的字符串final value of the accumulator。