如何在 Scheme 中的列表中映射宏？

Question

我有一个 Scheme 宏和一个长列表，我想将宏映射到整个列表中，就像它是一个函数一样。如何使用 R5RS 做到这一点？

宏接受几个参数：

(mac a b c d)

列表有

(define my-list ((a1 b1 c1 d1)
                 (a2 b2 c2 d2)
                 ...
                 (an bn cn dn)))

我想要这个：

(begin
   (mac a1 b1 c1 d2)
   (mac a2 b2 c2 d2)
   ...
   (mac an bn cn dn))

（顺便说一句，如您所见，我也想拼接参数列表）

Answer 1

扩展 z5h 对使用 eval 的回答，下面的方法展示了如果在使用的 R5RS 版本中实现交互环境，如何编写 map-macro 宏：

(define test-list '((1 2 3 4)
                    (5 6 7 8)))

;Or if your version of scheme implments interaction-environment then:
(define-syntax trade
  (syntax-rules ()
    ((_ a b c d) (display (list b a d c)))))

;!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
;Careful this is not really mapping. More like combined map and apply.
;!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
(define-syntax map-macro
  (syntax-rules ()
    ((_ mac ls) (let ((mac-list (map (lambda (lst) (cons 'trade lst)) ls)))
                          (eval 
                           `(begin
                              ,@mac-list)
                           (interaction-environment))))
                        ))

(map-macro trade test-list)
;outputs: (2 1 4 3)(6 5 8 7)

所以最后一次 map-macro 调用会评估以下内容：

最终从 (map-macro trade test-list) 得到评估的是：

(begin
  (trade 1 2 3 4)
  (trade 5 6 7 8))

这不是一张地图，但我相信它确实回答了你的问题。

Answer 2

句法扩展扩展为 评估开始时的核心表格 （编译或解释之前） 通过语法扩展器。 ——戴维格，“ 方案编程语言：

宏对语法进行操作。这发生在编译或执行之前。它为您提供了另一种编写相同代码的方式。

函数对变量和值（可能是列表、原子、数字等）进行操作，当函数被调用时，它们的值是已知的。

所以映射宏没有意义。您要求调用很久以前已经发生的事情（宏扩展）。

如果您需要一些东西来为您编写代码并在运行时对其进行评估，那么可能是您需要eval 的情况之一。

Answer 3

想要什么

(map (lambda (l) (mac (car l) (caar l) (caaar l) (caaaar l))) mylist)

工作？