OCaml练习类型报错：为何解释器要求Dictionary.key为string而非int集合？

问题原因与解决方法 #

这个报错的核心是你在List.fold_left的逻辑里，错误地把**累加器（IntSet类型）**传给了字典的find函数——而Dictionary.find的第一个参数需要是字典本身，第二个参数才是string类型的键，你搞混了参数的传递对象或者顺序。

最常见的错误场景：

• 把List.fold_left匿名函数的参数顺序搞反了：List.fold_left要求匿名函数的参数是累加器在前，列表元素在后，如果写反了，就会把IntSet类型的累加器当成string键传给find。
• 错误地将累加器当作字典传入find函数，比如写成Dictionary.find acc elem，而正确的应该是用传入的原始字典，即Dictionary.find dict elem。

正确代码示例 #

(* 假设Dictionary模块的find签名为: val find : 'a Dictionary.t -> Dictionary.key -> 'a *)
(* IntSet为预定义的整数集合模块 *)
let get_matching_values dict str_list =
  List.fold_left (fun acc elem ->
    try
      let matched_value = Dictionary.find dict elem
      in IntSet.add matched_value acc
    with Not_found -> acc  (* 键不存在时直接返回原累加器 *)
  ) IntSet.empty str_list

关键细节提醒 #

1. 始终确保Dictionary.find的第一个参数是传入的原始字典，而非fold过程中的累加器（累加器是IntSet类型，和字典类型完全不兼容）。
2. 牢记List.fold_left的匿名函数签名：(accumulator -> element -> accumulator)，参数顺序绝对不能搞反。

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