js_of_ocaml dom类型前面#字符的含义

Question

以下签名中"#"的含义是什么？

val insertBefore : #node Js.t -> #node Js.t -> #node Js.t Js.opt -> unit

Answer 1

请参阅#-typesOCaml参考手册(http://caml.inria.fr/pub/docs/manual-ocaml/types.html)部分.

函数类型#node -> t接受类node或其子类的对象并返回t.

例如,

class c = object method x = 1 end

let g : #c -> int = fun o -> o#x

函数g可以接受类c或其子类的对象.#c是< x : int; ..>因此的缩写,

let h = (g : < x : int; ..> -> int)

是经过类型检查的.