Scheme宏中的任意计算

Question

据说方案宏，至少是语法情况的变化，允许对要转换的代码进行任意计算。然而（无论是在一般情况下还是在我当前正在考虑的特定情况下）这都需要根据递归函数来指定计算。当我尝试这种方法的各种变体时，我得到例如

main.scm:32:71:compile:unboundidentifier in module (在变压器环境中，不包括运行时定义)：expand-vars

(实现是球拍，如果重要的话。）

结果似乎是在宏处理之后才能定义命名函数。

我想我可以求助于 Y 组合器，但我认为值得首先问是否有更好的方法？

Answer 1

是的，你使用 Racket 的事实很重要——在 Racket 中，有一种叫做“相分离”的东西，这意味着语法级别不能使用运行时函数。例如，这样：

#lang racket
(define (bleh) #'123)
(define-syntax (foo stx)
  (bleh))
(foo)

将不起作用，因为 bleh 是在运行时绑定的，不可用于语法。相反，它应该

(define-for-syntax (bleh) #'123)

作为内部定义移动

(begin-for-syntax (define (bleh) #'123))

到宏体，或者移动到它自己的模块并使用 (require (for-syntax "bleh.rkt")) 进行要求。