OCaml开发f1vae解释器：不修改interp_fundef时如何向fStore添加fundef

我正在用OCaml开发F1VAE解释器，目前的代码无法正确将所有函数定义（fundef）添加到FStore映射中，现有代码如下：

主解释器代码 #

let interp_fundef (d: Ast.fundef) (g: FStore.t) : FStore.t = 
  match d with
  | Ast.FunDef (x, pl, e) -> (FStore.add x (pl, e) g)

let interp (p: Ast.prog) : Value.t = 
  let g = FStore.empty in
  let s = Store.empty in
  match p with
  | Ast.Prog (dl, e) ->
    let _ = 
      let rec fdef defl = 
        match defl with
        | [] -> ()
        | h1::t1 -> 
          let _ = (interp_fundef h1 g) in
          (fdef t1)
      in fdef dl;
    in interp_expr e g s

FStore.ml #

module M = Map.Make(String)

type t = (string list * Ast.expr) M.t

let add = M.add

let mem = M.mem

let find = M.find

let empty = M.empty

ast.ml #

type fundef = FunDef of string * string list * expr
type prog = Prog of fundef list * expr

我需要在解释程序中的表达式前，创建存储所有fundef的FStore映射，但不想修改interp_fundef函数，请问该如何逐个将fundef添加到g中？

解决方案 #

核心问题是当前递归逻辑没利用OCaml不可变Map的特性：每次调用FStore.add都会返回新的映射实例，而非修改原变量g。你需要让递归函数携带并更新FStore状态，具体修改interp函数如下：

let interp (p: Ast.prog) : Value.t = 
  let s = Store.empty in
  match p with
  | Ast.Prog (dl, e) ->
    (* 递归遍历函数定义列表，逐步构建完整的FStore *)
    let rec build_fstore defl current_g =
      match defl with
      | [] -> current_g  (* 遍历完成，返回最终的函数存储 *)
      | h::t ->
        let updated_g = interp_fundef h current_g in
        build_fstore t updated_g
    in
    let final_fstore = build_fstore dl FStore.empty in
    interp_expr e final_fstore s

关键说明

• 移除原代码中无用的let g = FStore.empty，改为在递归初始调用时传入空存储
• 递归函数build_fstore每次处理一个函数定义，调用interp_fundef得到更新后的FStore，再传递给下一次递归
• 遍历完所有函数定义后，得到包含所有函数的final_fstore，再传入表达式解释函数

这样既无需修改interp_fundef，又能正确累积所有函数定义到FStore中，完全符合OCaml不可变数据的编程范式。

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