这是对 Scheme、Racket、Common Lisp 和 Clojure 中方括号行为的正确描述吗？

Question

我最近做了一些挖掘。由于我缺乏 Lisp 经验，我想验证一下我的发现。这是对 Scheme、Racket、Common Lisp 和 Clojure 中方括号行为的正确描述吗？

• R5RS 和 R7RS 方案：方括号保留在规范中“用于将来可能的语言扩展”（ R5RS第 6 页， R7RS第 9 页），但实现倾向于实现方括号，如下面的 R6RS 方案所做的那样。Racket 就是这样的一个例子，甚至有关于哪里更喜欢方括号的社区约定。
• R6RS方案：“匹配的方括号可以与圆括号同义使用”。换句话说，方括号只要匹配就是有效的括号。替代来源。
• Common Lisp：保留方括号，以便用户可以通过阅读器宏赋予它们含义。它们在标准语言中没有意义，除了在FORMAT控制字符串中。
• Clojure：向量的方括号和列表的圆括号。这些不是同一件事。

Answer 1

我认为对于Scheme，你说得对。

\n

在 Common Lisp 中，标准不是 CLtL2，而是 ANSI 标准，该标准在所有意图和目的上与 CLHS 相同（例如https://clhs.lisp.se）。读者行为在第 2 节中定义。默认情况下（即在标准语法中）方括号是组成字符，因此可以在符号名称中使用它们而无需特殊转义。例如，[、[]、][、APPLE-][、>][<、[[[等都是可以在不转义的情况下使用的有效符号名称。然而，这些字符是明确保留给程序员在他们自己的可读表中使用的。有几个库使用它，例如用于 SQL 文字的 CLSQL。

\n

在 Clojure 中，方括号表示向量，它是一种与列表等不同的集合。代码中对文字向量的求值是根据内部求值形式构造一个新的向量。示例：[a \'b (+ a b)]计算 的值a、名为 的符号b以及 和 的值之a和的新向量b。宏和其他特殊形式通常使用向量来表示不作为函数调用进行计算的语法部分。示例：(defn foo [a b c] \xe2\x80\xa6)\xe2\x80\x94 将作为形式参数绑定到函数定义主体中的符号向量。 \xe2\x80\x94和 的(let [a 1 b (+ a forble)] \xe2\x80\xa6)词法绑定。ab

\n