compiler-errors - OCaml 变量类型泛化

Question

我正在尝试使用 ocamlc 编译以下代码。

type 'a splitter = {name: string; decision_function : 'a  -> bool}

let splitter12a = {name="x1>x2"; decision_function=(fun x -> x.(1)>x.(2))};;

let generate_splitter i j  = {name="x"^string_of_int(i)^">x"^string_of_int(j); decision_function=(fun x -> x.(i) > x.(j))} ;; 

let splitter12 = generate_splitter 1 2;;

但是，编译器提示:

File "error.ml", line 7, characters 17-38:
Error: The type of this expression, '_a array splitter,
       contains type variables that cannot be generalized

我不明白为什么我可以声明一个专门的 splitter12a而 generate_splitter无法生成专门的拆分器。

Answer 1

你遇到了所谓的值(value)限制。有关解释，请参见例如this chapter中的同名部分真实世界的 Ocaml。

编辑:通常的解决方法(可能在该章中建议)是 eta 扩展，意思是扩展一个 lambda，例如，通过将定义 let f = g a进入 let f x = g a x .但这不适用于您的情况，因为您的 def 的 RHS 不会产生函数。对于您想要做的事情，确实没有直接的解决方法。

一种方法是把它变成一个仿函数:

module MakeSplitter (X : sig val i : int val j : int end) =
struct
  let splitter = {name = "x"^string_of_int(i)^">x"^string_of_int(j); decision_function = fun x -> x.(i) > x.(j)}
end

module Splitter12 = MakeSplitter(struct val i = 1 val j = 2 end)
let splitter12 = Splitter12.splitter

另一种方法是使用带有多态字段的辅助记录类型，与上面的结构非常相似。