就函数式编程而言，第二类价值是什么？

Question

在函数式编程中， 第一类值如下所示：

• 可以分配给变量的值。
• 可以作为参数传递给函数的值。
• 可以从函数返回的值。

但是我找不到任何关于 2nd class value 或 3rd、4th、5th 的定义.. 我相信如果第一个存在，那么就必须存在第二个和第三个......

什么是二等值？

我能找到这些价值观的一些例子吗？

（如果没有二等舱价值，那么商务舱价值呢？）

一般来说，一等舱的乘客优先考虑。

1st class 的值是否具有更高的优先级？如果是编译器或运行时？

非常感谢您。

Answer 1

也许你太挑剔了。

一等值是那些具有值的所有属性的值（所以函数是一等的，因为你可以在函数上做与整数相同的事情：将它们作为参数传递，将它们存储在字段中，等等......） .

有些语言有一些不是一流的特性。例如，在 Ocaml3（但不是今天的 Ocaml4）中存在模块，但不能用作值（您不能将模块作为参数传递）。在那个时候，模块不是一等的价值（你可以非正式地说模块是二等的！）

我从来没有听说过三等...

顺便说一句，在许多语言中，甚至是函数式语言中，调用堆栈不是一等值（您通常无法检查它，例如询问调用者的调用者）。即使是具体化延续的方案（使用call/cc）也无法检查调用堆栈（但一些实现将其作为扩展提供）。并且检查 closure 中的封闭值通常是不可能的......

“First class”应该被非正式地理解为一个单一的形容词（在这个意义上没有“classes”的“cardinal set”）

^{注意：我不是以英语为母语的人，所以我无法理解所有英语语言的细微之处}