Clojure：`fn` 是特殊符号、宏还是特殊形式？

Question

医生说这是一种特殊的形式，虽然我看到了 它被定义为一个宏。

另外，(meta #'fn) 将 :macro 和 :special-form 都设为 true。

最后，(special-symbol? 'fn) 是 false，尽管 (special-symbol? 'fn*) 是 true。

有人可以帮我解决这个问题吗？ Clojure 中是否还有其他特殊形式和宏的奇怪符号 而不是特殊符号？

还有一件事，它是迄今为止我见过的唯一可调用符号 有这个(meta #'fn):

{:arglists ([& sigs]),
 :forms [(fn name? [params*] exprs*) 
         (fn name? ([params*] exprs*) +)]...}

所以 arg 列表不像其他符号那样在 :arglists 中，而是在 :forms 中。 Clojure 中还有其他类似的符号吗？

Answer 1

其他例子是

let let*
letfn letfn*
loop loop*

加星标的版本是编译器级别的真正特殊符号，是语言的原语。未加星标的版本是在 Clojure 中定义的 vars。这些是较低级别的加星版本的助手，可以在更方便的级别（即在 Clojure 中）执行解构、参数检查和文档等操作。

Clojure 的文档defines special forms 严格来说是“Clojure 内置的执行核心操作的原语”。但这实际上意味着在适用于文档的list of special forms 时不那么严格地适用于他们的未加星标的助手。

这只是语义。在其他地方，其他 lisps，您会看到用于谈论任何改变正常评估规则的形式的特殊形式。因此，从这个意义上说，您可以将宏 and 称为特殊形式，因为它会进行短路评估。在 Clojure 中，and 没有这样标记或记录，这与保留原语或其助手的术语是一致的。