如何编写 MIT Scheme 宏来返回 lambda 形式？

Question

我对在 MIT 方案中尝试创建这个简单的（在 Common Lisp 中）宏的等价物感到困惑：

(defmacro funcify (exp)
    `(lambda (x) ,exp))

这是一个简单的个人项目，一个基于第二个 SICP 讲座中构建的函数的数值方程求解器。我不在乎这个宏是否“安全”或“卫生”，或者如果 exp 引用除 'x.x' 以外的任何符号，它会捕获变量。我希望能够写出

(solv '(* 60 x) '(* 90 (- x 1)))

solv is: 的位置

(define (solv lh-exp rh-exp)
    (solve (funcify lh-exp) (funcify rh-exp)))

，而不必输入

(solve (lambda (x) (* 60 x)) (lambda (x) (* 90 (- x 1))))

But can't find out how to do this using MIT Scheme 语法规则。

我已经尝试过这个，但它不起作用：

(define-syntax funcify
  (syntax-rules ()
    ((funcify y) (lambda (x) y))))
;Value: funcify

(funcify x)
;Value 17: #[compound-procedure 17]

((funcify x) 10)
;Unbound variable: x

我尝试过其他可能不值得一提的涉及 eval 的事情，但无济于事。

此外，还参考了关于Scheme宏系统的优秀教程（不是参考资料），这些教程从简单的小示例开始，并带有充足的注释，特别展示了如何将反引号逗号样式的LISP宏（对我来说非常直观）转换为方案的语法宏系统会很棒。

Answer 1

它不能在syntax-rules中完成。故事结束。

将任意标识符（x，在您的情况下）注入到输出表达式中需要破坏卫生，并且 syntax-rules 不提供任何破坏卫生的方法。您将需要使用较低级别的宏系统来执行此操作。 MIT Scheme 使用显式重命名（参见 Matthias Benkard 的答案），但对于使用 syntax-case 的其他 Scheme 实现，您可以这样做：

(define-syntax funcify
  (lambda (stx)
    (syntax-case stx ()
      ((_ body)
       (with-syntax ((x (datum->syntax stx 'x)))
         #'(lambda (x)
             body))))))

关键是 (datum->syntax stx 'x) 位，它注入符号 x，就好像它位于 funcify 调用的语法上下文中一样。

顺便说一句，您的 solv 也必须是一个宏，而不是过程，但至少它可以是一个 syntax-rules 宏：

(define-syntax solv
  (syntax-rules ()
    ((_ lhs rhs) (solve (funcify lhs) (funcify rhs)))))

Answer 2

您可以使用 显式重命名宏。唯一显着的区别是您必须自己解构输入表单：

(define-syntax funcify
  (er-macro-transformer
    (lambda (form rename cmp)
      (let ((exp (cadr form)))
        `(,(rename 'lambda) (x) ,exp)))))