Ocaml 记录和类型定义语法

Question

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

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

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

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

Answer 1

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

有关详细信息，请参阅 records and objects 的手册条目。