macros - 如何在 Scheme 宏中转置模式序列？

Question

我编写了以下 Scheme 宏。

(define-syntax join
  (syntax-rules ()
    ((join (var ...) (val ...) ...)
     '(((var val) ...)
       ...))))

当我尝试

(join (a b c)
      (1 2 3)
      (2 4 6)
      (3 6 9))

它返回以下结果。

(((a 1) (a 2) (a 3))
 ((b 2) (b 4) (b 6))
 ((c 3) (c 6) (c 9)))

但我的意图是编写一个宏，它返回以下结果。

(((a 1) (b 2) (c 3))
 ((a 2) (b 4) (c 6))
 ((a 3) (b 6) (c 9)))

如何转置模式匹配器逐项列出var变量的方式？

---

更新：有人告诉我，join根据 R7RS 4.3.2，这个问题中的宏是非法的：

出现在子模式中的模式变量后跟标识符 ⟨ellipsis⟩ 的一个或多个实例，仅允许出现在后跟尽可能多的 ⟨ellipsis⟩ 实例的子模板中。

Answer 1

对不起，但我自己得到了。这似乎有效。

(define-syntax join
  (syntax-rules ()
    ((_ var val ...)
     (let-syntax ((j (syntax-rules ::: ()
                       ((_ (k :::) (v :::))
                        '((k v) :::)))))
       `(,(j var val) ...)))))