定义匹配扩展器

Question

关于定义匹配扩展，有很少的材料和示例代码来说明概念。我很难“解码”文档所说的内容：

(define-match-expander id proc-expr)
(define-match-expander id proc-expr proc-expr)

将 id 绑定到匹配扩展器。

第一个 proc-expr 子表达式必须 评估变压器 产生匹配的拍拍。每当 ID 显示为模式的开头， 该变压器给出，在 扩展时间，语法对象 对应整个图案 （包括 ID）。图案是 替换为结果 变压器。

第二个生产的变压器 proc-expr 子表达式用于以下情况 id 在表达式上下文中使用。 使用第二个 proc-expr，id 可以是 赋予内在和外在的意义 模式。

谁能给出一些示例代码来说明这里定义匹配扩展器的两种用法？

Answer 1

匹配扩展器背后的想法是，您可以扩展“匹配”形式来处理您自己设计的新模式形式。

因此，这里有一个（有点毫无意义的）示例，它定义了一个“aba”匹配形式，该形式匹配一个事物的模式，后跟另一个事物，然后再次是第一个事物（因此，“aba”）：

#lang racket

(define-match-expander aba
  (lambda (stx)
    (syntax-case stx ()
      [(_ a b) #'(list a b a)])))

(match '(3 4 3)
  [(aba x y) (printf "x = ~a, y = ~a" x y)])

第二种形式允许您添加单独的在匹配模式之外使用的扩展，如下所示：

#lang racket

(define-match-expander aba
  (lambda (stx)
    (syntax-case stx ()
      [(_ a b) #'(list a b a)]))
  (lambda (stx)
    #'(error "please don't use aba outside of patterns.")))

(match '(3 4 3)
  [(aba x y) (printf "x = ~a, y = ~a\n" x y)])

(aba x y)

警告：模式周围有一对额外的括号？不确定，抱歉。

Answer 2

这是一个非常老的问题，但我想为相同的“aba”模式添加使用“syntax-rules”的示例：

(define-match-expander aba
  (syntax-rules ()
    [(aba a b) (list a b a)]))

(match '(3 4 3)
  [(aba x y) (printf "x = ~a, y = ~a" x y)])

左侧 (aba ab) 是要输入的内容match，右侧(list aba)是替换。

(match '(3 4 3)
  [(aba x y) (printf "x = ~a, y = ~a" x y)])

替换为

(match '(3 4 3)
  [(list x y x) (printf "x = ~a, y = ~a" x y)])

好的部分是新的匹配器适用于所有“匹配任何”功能，例如：

(match-define (aba x y) (list 1 2 1))
(printf "x = ~a, y = ~a" x y