0

我正在尝试通过Common Lisp：符号计算的简单介绍一书来学习 Common Lisp 。此外，我正在使用 SBCL、Emacs 和 Slime。

在第 14 章，最后一章，作者介绍了宏。他提出了一个名为PPMX“Pretty Print Macro eXpansion”的工具。

使用此工具，您可以：

> (ppmx (incf a))
Macro expansion:
(SETQ A (+ A 1))

该工具是独立的，因为本书为其提供了代码定义：

(defmacro ppmx (form)
  "Pretty prints the macro expansion of FORM."
  ‘(let* ((exp1 (macroexpand-1 ’,form))
          (exp (macroexpand exp1))
          (*print-circle* nil))
     (cond ((equal exp exp1)
            (format t "~&Macro expansion:")
            (pprint exp))
           (t (format t "~&First step of expansion:")
              (pprint exp1)
              (format t "~%~%Final expansion:")
              (pprint exp)))
     (format t "~%~%")
     (values)))

不幸的是，我无法运行它，因为编译不起作用。Slime 的 REPL 会抛出这个错误：

ch-14.lisp:3:33:
  read-error: 
    READ error during COMPILE-FILE:
    
      Comma not inside a backquote.
    
        Line: 3, Column: 33, File-Position: 101
    
        Stream: #<SB-INT:FORM-TRACKING-STREAM for "file /tmp/slimeD4xBr3" {10036BFC63}>

Compilation failed.

逗号和左单引号在 emacs 中看起来与在 SO 中不同： 在此处输入图像描述

在将代码从书中复制到 emacs 时，我遇到了一些问题。它基本上是插入'而不是左单引号。

1 - 有没有办法解决这个问题？

2 - 这本书写于 1980 年代后期。因此，我敢打赌现在有更好的工具。Slime 或 SBCL 是否提供一些命令来漂亮地打印宏扩展？也许是图书馆或其他包？

谢谢。

4

1 回答 1

1

按照@barmar 的建议，用户只需要在 REPL 中写入：

CL-USER> *print-pretty*
T
CL-USER> (macroexpand (setf a 1))  ;without the quote it does not work
1
NIL
CL-USER> (macroexpand '(setf a 1)) ;with the quote it does
(SETQ A 1)
T
于 2021-08-18T23:31:36.077 回答