在 Scheme/Racket 中更改 lambda 之外的變量

Question

Racket 文檔中的示例始終帶有lambda ：https ://docs.racket-lang.org/syntax/Defining_Simple_Macros.html

我的define-syntax-parser是這樣的：

(require syntax/parse/define)
(define-syntax-parser sp
  [_ #'(lambda (x) (set! x (add1 x)))]
)

(define a 0)
((sp) a)
(display a)

可以做這樣的事情（刪除lambda ）？

(require syntax/parse/define)
(define-syntax-parser sp
  [(f x) #'(set! x (add1 x))]
)

(define a 0)
(f a)
(display a)

結果預計為1但它仍然是0 。 並且 Scheme/Racket 不通過引用傳遞（？！），那么如何在 lambda 之外更改這些變量？

這里有一個相關的答案： https : //stackoverflow.com/a/8998055/5581893但它是關於已棄用的define-macro （ https://docs.racket-lang.org/compatibility/defmacro.html ）

Answer 1

宏可以擴展到任何東西，而不僅僅是lambda 。

#lang racket

(require syntax/parse/define)

(define-simple-macro (sp x:id) (set! x (add1 x)))

(define a 0)
(sp a)
(display a)

或者，如果您更喜歡使用define-syntax-parser ：

#lang racket

(require syntax/parse/define)

(define-syntax-parser sp
  [(_ x:id) #'(set! x (add1 x))])

(define a 0)
(sp a)
(display a)