如何用CPS风格编写OCaml中的fold_left函数？

尽管fold_left本身已是尾递归函数，但实现其CPS版本仍具有研究价值。本次实现基于OCaml语言。

标准fold_left实现 #

let rec myFoldLeft f acc list =
  match list with
  | [] -> acc
  | h :: tl -> myFoldLeft f (f h acc) tl
;;

fold_right的CPS版本参考示例 #

let rec myFoldRightCPS f acc list cont =
  match list with
  | [] ->
      cont acc
  | h :: tl ->
      myFoldRightCPS f acc tl (fun t -> cont @@ f t h)

内容的提问来源于stack exchange，提问作者utSabbath