在OCaml中，“头等舱”到底是什么意思？

Question

到目前为止，我已经看到：

1. 一级函数
2. 一级字段
3. 一级模

我可以理解first-class function，它意味着函数可以用作参数，也可以用作值等。

但是，另外两个first-class的含义是什么？

在奥卡米尔的语境中，first-class的一般含义是什么？

Answer 1

在OCaml的上下文中，我从未遇到过“头等舱”的特殊含义。它在你给出的所有地方都是用在通常意义上的。即，一级值是可以传递给函数并从函数返回的值。

一流记录字段的思想似乎是，您可以编写一个适用于许多不同字段(表示为Field.t)的函数。换句话说，您可以将单个记录字段作为独立的Field.t值传递。

一流的模块也被称为，因为您可以将它们作为独立的值传递.

一般来说，像头等舱这样的艺术术语没有“确切”的含义。事实上，我认为这就是为什么它们如此有用的原因。