如何让OCaml的fold_inorder函数适配列表与整数类型？

你的fold_inorder函数存在核心问题：它硬编码了列表特有的x :: ar拼接操作，完全忽略了传入的参数f，导致只能处理列表类型的累加逻辑，无法支持整数求和这类其他操作——这就是调用整数累加时出现类型错误的原因：函数内部试图把整数acc当作列表执行::操作，自然触发类型不匹配报错。

修改后的通用实现 #

要让函数适配任意类型的累加操作，需要把元素与累加器的结合逻辑完全交给传入的f函数，而非硬编码列表操作：

type 'a tree = 
  | Leaf
  | Node of 'a tree * 'a * 'a tree;;

let rec fold_inorder f acc t =
  match t with
  | Leaf           -> acc
  | Node (l, x, r) -> 
      let ar = fold_inorder f acc r in
      let an = f ar x in  (* 用传入的f替换硬编码的x :: ar *)
      fold_inorder f an l;;

测试两种场景 #

1. 生成中序遍历列表 #

要得到左-中-右顺序的列表，传入的f需要把当前元素加到累加器头部（对应原函数的逻辑）：

fold_inorder (fun acc x -> x :: acc) [] (Node (Node (Leaf,1,Leaf), 2, Node (Leaf,3,Leaf)));;
(* 输出：[1; 2; 3] *)

2. 整数累加求和 #

传入整数加法逻辑的f，初始累加器设为0：

fold_inorder (fun acc x -> acc + x) 0 (Node (Node (Leaf,1,Leaf), 2, Node (Leaf,3,Leaf)));;
(* 输出：6 *)

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