ocaml - Ocaml 记录和类型定义语法

Question

以下两种语法有什么区别。

(* First *)
type named = < age :int ;name :string  >;;

(* Second *)
type named = {
  age: int;
  name: string
};;

我知道第二个是记录，但第一个是什么，我只需要知道一个可以在线搜索以了解更多信息的名称。

标签： ocaml

Answer 1

第一个定义是对象类型。最显着的区别是对象是结构性的和后期绑定的，而记录是名义上的和早期绑定的。

有关更多详细信息，请参阅记录和对象的手动条目。