什么是first-class expression？为何它能替代first-class function？

什么是一等表达式？ #

在Logo方言（比如ucblogo）里，一等表达式是指可以像普通数据一样被传递、存储，并且能通过run命令直接执行的表达式列表。它不需要预先被包装成函数，直接以列表形式作为参数传递给过程，之后在需要执行的时候调用run即可触发表达式的求值。

比如讲义里的while实现示例：

to while :condition :action
if not run :condition [stop]
run :action
while :condition :action
end

to example :x
while [:x > 0] [print :x make "x :x-1]
end

这里传给while的[:x > 0]（条件表达式）和[print :x make "x :x-1]（动作表达式）就是一等表达式——它们以列表形式作为参数传递，在while内部通过run命令被执行。

为什么它能替代一等函数？ #

一等函数的核心特性是可以作为参数传递、从函数返回、赋值给变量，本质是实现“将代码作为数据处理并延迟执行”的能力。Logo的一等表达式通过以下方式达到了类似效果，因此被用来替代一等函数：

• 动态作用域的支持：Logo采用动态作用域，这让while过程能直接访问调用它的example过程中的局部变量:x。如果是词法作用域，while内部无法直接获取:x的绑定，但动态作用域解决了这个问题，让传递的表达式列表能正确访问外部环境的变量。
• 更直观的语法：对比Scheme的实现——需要把while的条件和动作包装成无参lambda（thunk），比如将(while cond act)转换为(while-helper (lambda () cond) (lambda () act))——Logo的一等表达式不需要初学者理解lambda、thunk这些概念，直接写日常使用的表达式列表即可，学习门槛更低。
• 等效的执行逻辑：通过run命令执行传递的表达式列表，和调用一等函数的效果完全一致——都是延迟执行代码片段，并且能访问外部环境变量。这种“传递可执行表达式+动态作用域”的组合，实现了一等函数的核心功能，因此讲义认为它可以替代一等函数。

内容的提问来源于stack exchange，提问作者An5Drama