ocaml - 这个 ocaml 片段是什么意思？

Question

let memorize o table = Hashtbl.add table (o :> < >) o

:>是 Actor ，但我不明白 < >在里面..

Answer 1

所以< ... >是 OCaml 中对象类型的语法。这些方法位于 < 中和 > . < >是不指定方法的对象类型；因此任何对象类型都可以向上转换为这种类型。这种类型通常非常无用，因为您不能真正对这种类型的值做任何事情(因为在 OCaml 中没有对象类型的向下转换，您永远无法将它变成可以调用方法的东西)。

在这种情况下，他们使用它作为哈希表的键类型。我真的不知道他们为什么要这样做。