我刚刚开始深入研究 Racket 宏,并尝试制作一个简洁的宏定义宏。我想扩展这样的表达式:
(macro id
(param) replacement1
(params ...) replacement2)
像这样:
(define-syntax id
(syntax-rules ()
((id param) replacement1)
((id params ...) replacement2)))
因此,原始表达式的 cddr 被转换为表达式对(用于语法规则主体),并且 id 被插入到每个表达式对的 car 中。
当仅使用语法规则提供的模式匹配时,我无法递归地思考(我一直想像操作普通列表一样操作表达式)。我应该使用什么样的模式?或者,我可以以某种方式将其作为普通列表进行操作,然后取消引用结果以便在扩展中使用吗?
非常感谢
编辑 - 暂定解决方案,由 Taymon 的回答告知
我的部分好奇心是想去掉那些配对括号。我研究了语法大小写,但有点困惑,所以尝试纯粹使用模式匹配子语言来完成它。我最终使用 Taymon 的宏与另一个宏相结合来“配对”给定的模板(它的作用有点像累加器函数):
(define-syntax-rule (macro-aux id ((param ...) expr) ...)
(define-syntax id
(syntax-rules ()
((id param ...) expr)
...)))
(define-syntax pairize
(syntax-rules ()
((pairize id (pairs ...) p b) (macro-aux id pairs ... (p b)))
((pairize id (pairs ...) p b rest ...) (pairize id (pairs ... (p b)) rest ...))))
(define-syntax macro
(syntax-rules ()
((macro id tpl-expr ...) (pairize id () tpl-expr ...))))
最佳答案
可以构建一个宏扩展器,将语法表达式作为常规 Racket 数据进行操作。但是,在本例中这并不是真正必要的。
我建议的一件事是稍微改变你的语法,以便每个模式替换对都包含在括号中。像这样:
(macro id
[(param) replacement1]
[(params ...) replacement2])
完成后,您就可以使用常规的模式匹配宏。这是我的看法:
(define-syntax-rule (macro id [(param ...) replacement] ...)
(define-syntax id
(syntax-rules ()
[(id param ...) replacement] ...)))
关于macros - Racket 宏 - 配对,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9860634/