scheme - 在文字之前匹配任意数量的模式变量的方案语法规则？

Question

我正在尝试编写一个宏，将表达式中的一些文字替换为一个值，例如(substitute 3 (+ 4 1 _ 1 5))

这是我目前所拥有的

(define-syntax substitute
  (syntax-rules (_)
    ((substitute val (_ e1 ...))
     (val e1 ...))
    ((substitute val (e1 _ e2 ...))
     (e1 val e2 ...))
    ((substitute val (e1 e2 _ e3 ...))
     (e1 e2 val e3 ...))))

我如何概括这一点？或者真的，我应该如何解决这个问题？

Answer 1

好的，我有一个解决方案。

(define-syntax sub-apply
  (syntax-rules ()
    ((sub-apply val (op e ...))
     (apply op
            (sub-list val (e ...))))))

(define-syntax sub-list
  (syntax-rules (_)
    ((sub-list val (_)) '(val))
    ((sub-list val (e)) '(e))
    ((sub-list val (_ e ...))
     (cons val (sub-list val (e ...))))
    ((sub-list val (e1 e2 ...))
     (cons e1 (sub-list val (e2 ...))))))

编辑。
这更好！它适用于特殊构造。

;; usage:
;; (undswap 3 _) => 3
;; (undswap 3 (if _ (+ 3 _ ))) => 6
(define-syntax undswap
  (syntax-rules (_)
    ((undswap val (e ...))
     ((undswap val e) ...))
    ((undswap val _) val)
    ((undswap val e) e)))