为何Lisp表达式((car '(car)) '(a b))在REPL中无法求值为a？

你写的表达式((car '(car)) '(a b))无法得到a，核心问题出在对符号、函数绑定与求值规则的误解上，下面一步步拆解：

表达式的求值过程 #

1. '(car)：引号'会阻止列表求值，直接返回数据对象(car)（一个包含符号car的列表）。
2. (car '(car))：调用car函数取列表(car)的第一个元素，得到的是符号car——注意这是一个代表函数名的符号对象，不是car函数本身。
3. '(a b)：同样返回数据对象(a b)。
4. 最后执行(符号car 列表(a b))：Lisp要求组合式（即(...)形式的表达式）的第一个元素必须是可调用的函数/过程，但这里的第一个元素是符号car（属于数据类型），而非可执行的函数，因此触发错误。

错误信息翻译 #

Guile给出的错误信息翻译后如下：

回溯：
在当前输入中：
1: 0* [car (a b)]

<未命名端口>:1:1: 在表达式 ((car #) (quote #)) 中：
<未命名端口>:1:1: 应用的类型错误：car
终止：(misc-error)

这个错误明确告诉你：你试图把car（符号类型）当作函数来调用，类型不匹配。

如何修改得到a #

如果你想通过动态获取函数名来调用，在Guile（Scheme方言）中可以这样写：

((eval (car '(car)) (interaction-environment)) '(a b))

eval会将符号car求值为它绑定的函数，之后就能正常调用。

或者更直接的方式（如果不需要动态获取函数名）：

(car '(a b))

关键要点 #

• 引号的本质：'expr等价于(quote expr)，作用是让表达式以数据形式返回，完全跳过求值。'(car)不是调用car，而是生成一个包含car符号的列表。
• 组合式求值规则：(E1 E2)中，E1必须求值为可调用的函数/过程，而不是符号、数字这类数据。符号只是函数的名字，本身不是函数。

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