如何将OCaml中使用双let的insert函数改为单let实现

可以通过让insert函数自身递归，替代原内部的ins辅助函数，从而实现仅用一个let定义、去除额外in语句块的需求。修改后的代码如下：

type 'a zipper = 'a list * int;;

exception Empty

let empty = ([], 0)

let rec insert ((l, pos): 'a zipper) (a: 'a) : 'a zipper =
  match l, pos with
  | _, 0 -> (a :: l, pos)
  | [], _ -> raise Empty
  | h :: q, p ->
      let (new_q, _) = insert (q, p - 1) a in
      (h :: new_q, pos)

逻辑说明 #

• 当插入位置pos为0时，直接将元素a添加到列表头部，返回包含新列表和原位置的拉链。
• 如果列表为空但插入位置不为0，抛出Empty异常（与原函数逻辑完全一致）。
• 对于非空列表和非0插入位置，递归处理列表尾部并将插入位置减1；递归返回后，把原列表的头部元素拼接到新的尾部列表前，最终返回包含新列表和原位置的拉链（保持原位置标记不变，和原函数行为一致）。

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