语法参数可以用来替换语法吗?

时间:2018-04-25 14:22:00

标签: syntax macros racket

我尝试使用语法参数,以便在我需要注入的地方注入新语法。然后在其他语法中使用此结果。 但是,它没有像我期望的那样工作。这是一个最小的工作示例:

(require racket/stxparam)
(require (for-syntax racket/stxparam))

;; declare parameter to be replaced with code
(define-syntax-parameter placeholder
  (lambda (stx)
    (raise-syntax-error
     (syntax-e stx)
     "can only be used inside declare-many-commands")))

;; this is just to print what 'arg' looks like
(define-syntax (print-syntax stx)
  (syntax-case stx ()
    [(_ arg)
     #'(displayln 'arg)]))

;; this is the top-level entity invoked to produce many commands
(define-syntax-rule (declare-many-commands cmds)
  (begin
    (let ([X 10])
      (syntax-parameterize
       ([placeholder (make-rename-transformer #'X)])
       cmds))
    (let ([X 20])
      (syntax-parameterize
       ([placeholder (make-rename-transformer #'X)])
       cmds))))

(declare-many-commands
 (print-syntax placeholder))

运行它时我想得到的结果是:

10
20

但我得到的是:

placeholder
placeholder

修改

发布了一个新问题来改进问题:Injecting syntax at compile time using Racket's syntax parameters?

1 个答案:

答案 0 :(得分:2)

这里的问题是你的print-syntax宏引用它的输入,宏转换器的输入是未展开的语法。这意味着(print-syntax placeholder)的扩展将始终为(displayln 'placeholder),并且quote下不会发生宏扩展,因此范围内的placeholder绑定无关紧要。

如果要使用语法参数,则需要实际生成对placeholder绑定的引用。在这种情况下,您只需要删除quote的使用。您可以将print-syntax更改为(displayln arg),但此时,print-syntax确实没有理由成为宏,因为它等同于displayln函数。只需使用它:

(declare-many-commands
 (displayln placeholder))

这将按预期打印1020

你可能真的想要quote,我不明白你的问题。但是,在这种情况下,我认为如果没有其他背景,我很难理解你的目标。