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)))

方案语法规则是否与文字之前匹配任意数量的模式变量？

1 个答案: