functional-programming - 函数式编程中的第二类值(value)是什么？

Question

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

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

但是我找不到任何关于二等值或三、四、五的定义..我相信如果第一个存在，那么一定存在第二个和第三个......

第二类值是多少？

我可以找到这些值的一些示例吗？

(如果没有二等舱值(value)，那么商务舱值(value)如何？)

一般来说，一等舱乘客享有更高的优先级。

第一类值是否具有更高的优先级？如果是由编译器或运行时实现的？

提前非常感谢您。

Answer 1

也许你太挑剔了。

一流的值是那些具有值的所有属性的值(因此函数是一流的，因为您可以在函数上执行与整数相同的操作:将它们作为参数传递，将它们存储在字段中，等等...) .

有些语言有一些不是一流的功能。例如，在 Ocaml3(但不是今天的 Ocaml4)中，模块存在，但不能用作值(不能将模块作为参数传递)。当时，模块还不是一流的值(您可以非正式说模块是二流的!)

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

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

“头等舱”应非正式地理解为单个形容词(从这个意义上讲，不存在“类”的“基本集”)

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