define-match-expander

Question

acerca de definir-emparejar-expansión, hay materiales raros y códigos de ejemplo para ilustrar los conceptos. Estoy teniendo un momento difícil "decodificar" lo que dice la documentación:

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

liga de identificación por un expansor partido.

La primera subexpresión de proc-expr debe evaluar a un transformador que produce una palmada para coincidencia. Cada vez que aparece el id como el comienzo de un patrón, se proporciona este transformador, al tiempo de expansión, un objeto de sintaxis correspondiente al patrón completo (incluido el id). El patrón es el reemplazado con el resultado del transformador .

Un transformador producido por una segunda subexpresión de proc-expr se utiliza cuando se usa id en un contexto de expresión. Usando el segundo proc-expr, id puede ser dando el significado tanto dentro como fuera de los patrones .

¿Alguien puede dar algunos ejemplos de códigos para ilustrar los dos usos del define-match-expander aquí?

Answer 1

La idea detrás de match-expander es que puede ampliar el formulario de "coincidencia" para manejar nuevas formas de patrones de su propio diseño.

Por lo tanto, aquí hay una (algo sin sentido) ejemplo que define una forma partido "ABA" que coincide con los patrones de una cosa seguida de otra cosa, seguido de la primera cosa otra vez (por lo tanto, "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)]) 

la segunda forma le permite añadir una expansión independiente para ser utilizado fuera de los patrones de los partidos, como esto:

#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) 

Advertencia: whuffo el par extra de parens de todo el patrón? No estoy seguro, lo siento.

Answer 2

Esta es una pregunta muy viejo, pero me gustaría añadir el ejemplo usando "sintaxis de reglas" para el mismo "ABA" patrón:

(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)]) 

Lado izquierdo (aba a b) es la cosa va en el match, el lado derecho (list a b a) es la sustitución.

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

se sustituye por

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

La parte buena es que el nuevo matcher funciona para todos "los partidos lo que sea," funciones, como:

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