这是否正确地描述了Scheme、球拍、Common和Clojure中方括号的行为？

Question

我最近做了一些调查。由于缺乏Lisp经验，我想验证我发现了什么。这是否正确地描述了Scheme、球拍、Common和Clojure中方括号的行为？

• R5RS和R7RS方案:在规范中保留方括号“用于将来可能的语言扩展”( R5RS为第6页，R7RS为第9页)，但实现倾向于实现方括号，就像下面R6RS方案所做的那样。球拍就是这样的一个例子。，甚至有社区约定来选择方括号。
• R6RS方案："http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-19.html#node_chap_E“。换句话说，只要方括号匹配，方括号就是有效的方括号。替代源。
• 通用Lisp：方括号是保留的，因此用户可以通过读取器宏给出它们的含义。。除了在FORMAT控件字符串中，它们在标准语言中没有任何意义。
• Clojure：向量的方括号和列表的括号。这不是一回事。

Answer 1

我想对普兰来说，你说得对。

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

在Clojure中，方括号表示向量，这是不同于列表的一种单独的集合。代码中文字向量的求值是在代码中构造一个新的求值形式向量。示例：[a 'b (+ a b)]计算为a值的新向量、名为b的符号以及a和b值之和。宏和其他特殊形式通常将向量用于不作为函数调用计算的语法部分。示例：(defn foo [a b c] …) -在函数定义的正文中作为形式参数被绑定的符号向量。(let [a 1 b (+ a forble)] …) - a和b的词法绑定。