clojure的语法引用如何工作？

Question

clojure中的各种特殊字符是事物的缩写

(quote (a b)) 是相同的 '(a b)

正如你可以通过评估看到:

user> ''(a b)
(quote (a b))

这似乎是语法缩写,这让我觉得很好.

但语法引用`似乎很特别.我想不出什么相当于

`(a b)

我会猜到类似的东西(syntax-quote (a b)),但是它不起作用,如果我猜错了,我就无法找出它真正被称为什么.

user> '`(a b)
(clojure.core/seq (clojure.core/concat (clojure.core/list (quote user/a)) (clojure.core/list (quote user/b))))

有点神秘.

大概读者正在做一些特别的事情,也许是因为它需要知道命名空间？

有趣的是,syntax-quote中使用的特殊语法确实可以正常工作:

user> '~a
(clojure.core/unquote a)
user> '~@a
(clojure.core/unquote-splicing a)
user> '~'a
(clojure.core/unquote (quote a))

除了这一个:

user> 'a#
a#

我本以为会产生类似的东西 (unquote (gensym "a"))

我确实意识到我在这里有点虚弱,应该去阅读代码.如果没有人想解释正在发生的事情或提供参考,那么任何人都可以给我一个关于如何找到相关代码以及寻找什么的提示吗？

Answer 1

我不认为有一个语法 - 引用相当于该quote函数.

Clojure读者(目前)是用Java编写的.Clojure源代码中的SyntaxQuoteReader类src/jvm/clojure/lang/LispReader.java可能是您想要阅读的内容.看起来相当复杂.你可以看到它(seq (concat ...))在那里建立列表.

                ret = RT.list(SEQ, RT.cons(CONCAT, sqExpandList(seq)));

读者通常不会返回简单的Clojure代码,而是立即在Java-land中做正确的事情.例如'[1 2 3],不会产生Clojure代码(vector 1 2 3).也许它可以以某种方式工作,但事实并非如此.读者只需创建并返回矢量对象本身.

同样,SyntaxQuoteReaderJava会立即解决符号命名空间并创建gensyms,它会返回一些错误且复杂的Clojure代码,这些代码可以做正确的事情,但对于人类来说并不一定容易阅读.无论是因为它必须是这样,还是因为在Java中这样做更容易,或者出于性能或其他原因,我不知道.同样地,我不知道是否quasiquote可以作为Clojure中的普通宏/特殊形式存在而不存在,或者它是否根本不存在.我不明白为什么它不能.

WrappingReader在同一个文件中是处理的类'(普通旧quote).您可以看到它只包含您在包含符号quote和参数的列表中传递的任何内容.它简单得多.请注意,此类也处理@,因此'@foo返回(deref foo).

这个帖子可能会有更多的亮点.

编辑

这是一个概念验证quasiquote宏.请注意,此代码以可怕的方式依赖和滥用Clojure内部.请不要将此用于任何事情.

user> (defmacro quasiquote [x]
        (let [m (.getDeclaredMethod clojure.lang.LispReader$SyntaxQuoteReader 
                                    "syntaxQuote" 
                                    (into-array [Object]))]
          (.setAccessible m true)
          (.invoke m nil (into-array [x]))))
#'user/quasiquote
user> (let [x 123] `(x 'x ~x))
(user/x (quote user/x) 123)
user> (let [x 123] (quasiquote (x 'x ~x)))
(user/x (quote user/x) 123)