我正在尝试使用 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
无法生成专门的拆分器。
最佳答案
你遇到了所谓的值(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
另一种方法是使用带有多态字段的辅助记录类型,与上面的结构非常相似。
关于compiler-errors - OCaml 变量类型泛化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41789362/