syntax - 制作 "derived"标识符的最简洁方法？

Question

Scheme 宏创建“派生”标识符是很常见的，例如定义记录类型 foo (使用 R6RS 语法记录 API)将默认定义一个名为 make- 的构造函数foo.我想在我自己的宏中做类似的事情，但我在标准库中找不到任何干净的方法。我最终写了这个:

(define (identifier-add-prefix identifier prefix)
  (datum->syntax identifier
                 (string->symbol (string-append prefix
                                                (symbol->string (syntax->datum identifier)))))

我将语法对象(假设是标识符)转换为数据，将该符号转换为字符串，创建一个带有前缀的新字符串，将该字符串转换为符号，最后将该符号转换为与 identifier 处于相同语法环境中的标识符。

这可行，但看起来迂回且困惑。有没有更干净或更惯用的方法来做到这一点？

Answer 1

虽然它可能不是一个卫生的宏，但我想你可以使用像这样的定义语法(在鸡方案中)。对于鸡计划，宏的文档是 here 。另外this SO question揭示了鸡计划宏的一些亮点。最后我不知道这是否是解决问题的惯用方法。

(use format)
(use srfi-13)

(define-syntax recgen
  (lambda (expr inject compare)
    `(define (,(string->symbol (string-append "make-" (cadr expr))) ) (format #t "called"))))

#> (recgen "bar")
#> (make-bar)
called

上面的单个定义可以更改为定义 getter/setter 或其他与记录交互的方式的 (begin ...)。