什么＆＃34;一流＆＃34;在OCaml中完全意味着什么？

Question

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

1. 一流的功能
2. first-class fields
3. first-class module

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

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

在OCaml的背景下first-class的一般含义是什么？

Answer 1

我从来没有遇到过＆＃34;头等＆＃34;在OCaml的背景下。它在你提供的所有地方都以通常的意义使用。也就是说，第一类值是可以传递给函数并从函数返回的值。

第一类记录字段的想法似乎是你可以编写一个适用于许多不同字段的函数（当表示为Field.t时）。换句话说，您可以将各个记录字段作为独立的Field.t值传递。

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

一般来说，像头等舱这样的艺术品不具备＆＃34;确切的＆＃34;含义。事实上，我会声称他们经常为何如此有用。