漂亮打印嵌套语法引用

Question

漂亮打印嵌套语法引用

6

有没有一种方法可以像SBCL一样以易读的方式打印评估嵌套语法引号的结果？这在编写宏时调试嵌套语法引号时非常有用。例如，在Clojure 1.8中，

(let [x '(1 2)] ``(~~@x))

评估为

(clojure.core/seq (clojure.core/concat (clojure.core/list 1 2)))

在SBCL 1.3.6中，等价表达式为：

(let ((x '(1 2))) ``(,,@x))

评估为更易读的

`(,1 ,2)

随着表达式的复杂程度增加，差异变得更大。是否有任何Clojure软件包或其他方法可以帮助解决这种情况？目前，我发现调试复杂语法引用的最佳方法是将它们转换为Common Lisp，但这是一种相当荒谬和缓慢的方法。

- Qudit

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Ivan Pierre · Accepted Answer

如果你看一下Clojure中LispReader类的函数syntaxQuote(Object form)的语法： https://github.com/clojure/clojure/blob/master/src/jvm/clojure/lang/LispReader.java#L1011。

ISeq seq = RT.seq(form);
if(seq == null)
  ret = RT.cons(LIST,null);
else
  ret = RT.list(SEQ, RT.cons(CONCAT, sqExpandList(seq)));

你会发现`(~@'(some list))被解读为：

(clojure.core/seq
  (clojure.core/concat
    (clojure.core/list (quote clojure.core/some))
    (clojure.core/list (quote clojure.core/list))))

这段代码在 REPL 中的评估结果为：

=> (some list)

仅看 ` 的效果就可以了解它的作用

`s => user/s ; it's the ref of the symbol ok
``s 
=> (quote user/s) ; it's the quoted ref 
```s
=> (clojure.core/seq ; now we manage a back-tick on a list
     (clojure.core/concat
       (clojure.core/list (quote quote)) 
       (clojure.core/list (quote user/s))))
````s
=> 
(clojure.core/seq ; oups! always a list we add a layer
 (clojure.core/concat
  (clojure.core/list (quote clojure.core/seq))
  (clojure.core/list
   (clojure.core/seq
    (clojure.core/concat
     (clojure.core/list (quote clojure.core/concat))
     (clojure.core/list
      (clojure.core/seq
       (clojure.core/concat
        (clojure.core/list (quote clojure.core/list))
        (clojure.core/list
         (clojure.core/seq
          (clojure.core/concat
           (clojure.core/list (quote quote))
           (clojure.core/list (quote quote))))))))
     (clojure.core/list
      (clojure.core/seq
       (clojure.core/concat
        (clojure.core/list (quote clojure.core/list))
        (clojure.core/list
         (clojure.core/seq
          (clojure.core/concat
           (clojure.core/list (quote quote))
           (clojure.core/list (quote user/s)))))))))))))

现在需要添加拼接功能。

````~s => (clojure.core/seq ; same as ```s
            (clojure.core/concat
              (clojure.core/list (quote quote)) 
              (clojure.core/list (quote user/s))))
````~~s => (quote user/s) ; same as ``s

所以，有哪些需要注意的事项呢？

Clojure编写者不会像读取宏一样呈现引号，因此对于数组、集合等，它会给出(quote s)而不是's。
反引号宏读取器不会简化列表/引号匹配。仅引用的列表和单个条目的连接应立即执行，得到

````~~s => ''s.
如果您在列表、数组或集合上进行反引号处理，问题会变得更加严重... ;)

问题在于`s`不是`'s`。

如果我没记错，在LISP中，`s`会作为结果给出`'s`。;)

管理精简版本的一种可能性如下所示

(clojure.core/seq
  (clojure.core/concat
    (clojure.core/list (quote quote)) 
    (clojure.core/list (quote user/s))))

在宏生成过程中可能会更改

(seq 'user/s)

但是！！！结果是一个序列，可以说是一个惰性序列，而不是'user/s'。

让我们尝试在````s上进行。简化后会得到：

(seq '(clojure.core/seq 'user/s))

结果等价于''的，但它不是同一个对象。

另一件事，我们必须将(引文...)的toString处理为“...”。

与LISP相反，'的是s和` s是user/s !!!

对于宏管理，它会发生很多变化......说's在执行命名空间中，`s在编译命名空间中，由阅读器执行。