macros - LISP:如何跟踪宏

Question

这可能是一个愚蠢的问题，但我正在浏览 PG lisp 书，我想逐步了解他提供的一些带有实际值的示例宏，例如:

(defmacro our-let (binds &body body) 
    `(
        (lambda ,(
                mapcar #'(lambda (x) (if (consp x) (car x) x)) binds
            )
                ,@body
        )
        ,@(mapcar #'(lambda (x) (if (consp x) (cadr x) nil)) binds)
    )
)

我天真地尝试运行 (trace our-let)然后 (our-let ((x 1) (y 2)) (+ x y))但我收到一个错误， can't use encapsulation to trace anonymous function #<FUNCTION (MACRO-FUNCTION OUR-LET) {22675BBB}> .也不确定如何最好地放置 print声明到 lambdas 中。调试此宏/输出如何处理输入的最佳方法是什么？

编辑(1):我的 macroexpand 格式不正确，这有效。

Answer 1

实际上，能够跟踪宏在 Common Lisp 实现中并不常见。编译器通常会在编译期间扩展宏形式。

不过，一些实现支持它——当它们还支持运行实际源代码的 Lisp 解释器时，这是有道理的。其中包括 LispWorks 和 CLISP。

这里使用 CLISP 中 Sylwester 的代码:

  i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  I I I I I I I      8     8   8           8     8     o  8    8
  I  \ `+' /  I      8         8           8     8        8    8
   \  `-+-'  /       8         8           8      ooooo   8oooo
    `-__|__-'        8         8           8           8  8
        |            8     o   8           8     o     8  8
  ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8

Welcome to GNU CLISP 2.49.93+ (2018-02-18) <http://clisp.org/>

Copyright (c) Bruno Haible, Michael Stoll 1992-1993
Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
Copyright (c) Bruno Haible, Sam Steingold 1999-2000
Copyright (c) Sam Steingold, Bruno Haible 2001-2018

Type :h and hit Enter for context help.

[1]> (defmacro our-let ((&rest bindings) &body body) 
       (let ((names (mapcar #'(lambda (x) (if (consp x) (car x) x)) bindings))
             (exprs (mapcar #'(lambda (x) (if (consp x) (cadr x) nil)) bindings)))
          `((lambda ,names ,@body) ,@exprs)))
OUR-LET
[2]> (trace our-let)
;; Tracing macro OUR-LET.
(OUR-LET)
[3]> (dotimes (i 3)
       (our-let ((x (* i 10)))
         (+ x 3)))
1. Trace: (OUR-LET ((X (* I 10))) (+ X 3))
1. Trace: OUR-LET ==> ((LAMBDA (X) (+ X 3)) (* I 10))
1. Trace: (OUR-LET ((X (* I 10))) (+ X 3))
1. Trace: OUR-LET ==> ((LAMBDA (X) (+ X 3)) (* I 10))
1. Trace: (OUR-LET ((X (* I 10))) (+ X 3))
1. Trace: OUR-LET ==> ((LAMBDA (X) (+ X 3)) (* I 10))
NIL
[4]>