macros - Racket 宏，变量名称及其值的打印列表

Question

我有这个宏:

(define-syntax inspect
  (syntax-rules ()
    [(_ x) (printf "~a is: ~a\n" 'x x)]))

它的工作原理是这样的:

(let ([x 2]) (inspect x))
>> x is: 2

但我想做的是扩展它，这样我就有了

(_ x ...)

并遍历提供的各种值，相应地打印出它们的变量名称和值。

即

  (let ([x 2] [y 3]) (inspect x y))
    >> x is: 2
    y is: 3

我有点卡在这部分了。

例如，像这样:

(define-syntax (inspect stx)
  (datum->syntax
   stx
   (for ([i (cdr (syntax->list stx))])
     (printf "~a is: ~a" (syntax->datum i) i))))

我不确定如何在最后一行获得 i 的值。

感谢任何帮助。

谢谢。

Answer 1

不需要双模式规则——您可以使用 begin 来完成整个事情:

(define-syntax-rule (inspect x ...)
  (begin (printf "~a is: ~a\n" 'x x) ...))