使用fold_left/right反转OCaml中的列表

更新 - 解决方案

感谢 jacobm 的帮助，我想出了一个解决方案。

// Folding Recursion
let reverse_list_3 theList = 
    List.fold_left (fun element recursive_call -> recursive_call::element) [] theList;;

我正在学习 OCaml 中递归的不同方式（用于课堂），并且为了进行一些练习，我正在编写一个函数来使用不同的递归样式反转列表。

// Forward Recursion
let rec reverse_list_forward theList =
    match theList with [] -> [] | (head::tail) -> (reverse_list_1 tail) @ [head];;

// Tail Recursion
let rec reverse_list_tail theList result =
    match theList with [] -> result | (head::tail) -> reverse_list_2 tail (head::result);;

现在，我正在尝试使用编写一个反向函数List.fold_left但我被困住了，无法弄清楚。我如何使用折叠来编写这个反向函数？

另外，如果有人对函数式编程、不同类型的递归、高阶函数等有很好的参考，链接将不胜感激:)

我发现将折叠操作视为对一系列操作的概括是有帮助的

a + b + c + d + e

fold_right (+) 0适用于+右结合运算，使用0作为基本情况：

(a + (b + (c + (d + (e + 0)))))

fold_left 0 (+)以左关联方式应用它：

(((((0 + a) + b) + c) + d) + e)

现在考虑如果替换会发生什么+ with :: and 0 with []右折和左折。

思考一下方法也可能很有用fold_left and fold_right充当“替代”:: and []列表中的运算符。例如，列表[1,2,3,4,5]实际上只是简写1::(2::(3::(4::(5::[]))))。考虑一下可能会有用fold_right op base就像让你“替换”一样:: with op and [] with base： 例如

fold_right (+) 0 1::(2::(3::(4::(5::[]))))

becomes

1 + (2 + (3 + (4 + (5 + 0))))

:: became +, [] became 0。从这个角度来看，很容易看出fold_right (::) []只是给你回原来的清单。fold_left base op做了一些有点奇怪的事情：它重写了列表周围的所有括号以向另一个方向移动[]从列表的后面到前面，并且then取代:: with op and [] with base。例如：

fold_left 0 (+) 1::(2::(3::(4::(5::[]))))

becomes

(((((0 + 1) + 2) + 3) + 4) + 5)

With + and 0, fold_left and fold_right产生相同的结果。但在其他情况下，情况并非如此：例如，如果而不是+你用过-结果会有所不同： 1 - (2 - (3 - (4 - (5 - 0)))) = 3，但是 (((((0 - 1) - 2) - 3) - 4) - 5) =-15。