无法将带Map参数的偏函数存储为Map值的编译问题求助

问题根源 #

你的代码存在循环递归类型依赖，导致编译器无法推导出合法的类型：

1. 函数f的类型是'a M.t -> int，表示它接受一个值类型为'a的String键Map，返回整数。
2. 你创建的Mapm类型是('a M.t -> int) M.t，即值类型为上述函数的String键Map。
3. 当尝试用(M.find "key" m) m调用函数时，要求传入的m必须符合f的参数类型'a M.t，这等价于强制'a = ('a M.t -> int)——这是无限循环的递归类型，OCaml默认不允许这种未显式声明的递归类型，因此报错。

解决方案 #

方法1：显式声明递归类型 #

通过type rec定义合法的递归类型，让编译器明确接受这种循环依赖：

module M = Map.Make(String)

// 显式声明递归类型：t是存储"接受t类型Map并返回int的函数"的Map
type rec t = (t -> int) M.t

let () =
  let f (m : t) = M.cardinal m in
  let m = M.add "key" f M.empty in
  (M.find "key" m) m |> string_of_int |> print_endline

方法2：调整设计避免循环依赖 #

如果业务逻辑允许，尽量避免让函数参数和自身所在的Map类型完全一致。比如让函数接受其他类型的参数，或者将函数与Map解耦：

module M = Map.Make(String)

// 示例：函数接受int参数而非原Map
let () =
  let f _ = M.cardinal (M.add "test" 1 M.empty) in
  let m = M.add "key" f M.empty in
  (M.find "key" m) 0 |> string_of_int |> print_endline

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