OCaml手册中缺少关于未装箱/装箱的说明

OCaml手册规定：

作为另一种优化，专门表示了不可伸缩的记录类型；未装箱记录类型是只有一个字段的不可变记录类型

（）

---

但“一个字段”可以有哪种类型？只有本机或任何记录类型？

任何类型：OCaml内存表示是统一的

更准确地说，就内存表示而言，OCaml值要么是整数，要么是指向块的指针。 一个块由一个标题和多个值组成

---

取消装箱将指向仅包含一个OCaml值的块的指针的未装箱内存表示形式替换为该值。

因此，我可以使用字段

int list

？也许你可以添加几个有意义的例子？是的。字段的类型是不相关的。