{<>}是什么意思？

Question

ocaml对象教程包含这段代码，但没有解释。

# class c0 = object method m = {< >} method n = 0 end;;
class c0 : object ('a) method m : 'a method n : int end

{<>}是什么意思，在哪里记录？

Answer 1

OCaml手册的第3.1.3节对此结构进行了非正式定义。 它说：

覆盖构造{<...>}返回“ self”（即当前对象）的副本，可能会更改某些实例变量的值。

一个更正式的定义在6.9.2节中给出。

表达式{< >}包含对实例变量的更改，因此它仅返回当前对象“ self”的副本。