racket - Racket中 "top-level-form"的定义是什么

Question

Racket 引用部分 11.9 扩展顶级形式和 13.2 评估和编译使用术语“顶级形式”和函数描述 (评估顶级形式 [nm])和 (展开顶级表单)在引用手册中有“顶级形式”作为它们的函数参数，但我不清楚“顶级形式”的定义。 Racket 语言中的术语“顶级形式”是什么意思？

Answer 1

这里的直觉是，这些函数都处理“顶级形式”，而不是依赖于词法环境的形式。作为一个半明显的例子，eval只能处理顶级表单，这就是为什么:

(let ([x 10])
  (eval '(* 3 x)))

不起作用。通常只使用“形式”是指任何形式，例如宏的输入——当然可以有这样的引用。