let concat (l : string list) : string = fold_right (fun a x -> a ^ x) l ""
因此，通过它，我看到了
但是，如何func a x知道a是列表的第一个元素，x是第二个元素。
当它再次通过时，如何知道a是列表的第三个元素，x是第四个元素，依此类推？
该accumulator是第一个参数，a到fold function和x是set to each element名单依次为fold走到了它。
的返回值fold function是new value的accumulator。
的初始值accumulator是empty string，所以第一个串联，在成为的结果new accumulator，是相同的值first element的列表中的。
然后将next element其连接到该字符串，依此类推，直到到达列表的末尾，这时将fold返回final value of the accumulator全连接字符串。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句