La mejor manera de aprender el sistema Racket Macro para programadores de estilo imperativo

Question

¿Cuál es la mejor ruta para un programador de estilo imperativo con experiencia que solo esté familiarizado con las macros C para aprender el sistema macro Racket. No solo su mecánica (¿cómo?) Sino también el dónde y el por qué usarlo y ejemplos que ilustran esto.

¿Debería uno aprender primero las macros Scheme (o Lisp)? He oído que el libro "On Lisp" tiene una buena explicación de las macros de Lisp con excelentes ejemplos de su uso. ¿Esto sería útil o no?

Answer 1

Racket's documentation tiene excellent tutorial on using macros.

Definitivamente recomendaría las macros Scheme sobre las macros CL si no ha tratado anteriormente con ningún tipo de macros Lisp. Esto se debe a que las macros de Scheme usan la coincidencia de patrones, y es mucho más fácil de leer.

Ejemplo (usando define-syntax-rule de raqueta):

(define-syntax-rule (let ((var val) ...) 
         expr ...) 
    ((lambda (var ...) 
    expr ...) 
    val ...)) 

Esta es una macro muy simple que define let en términos de creación de un lambda correspondiente, a continuación, aplicarlo. Es fácil de leer y fácil de razonar sobre lo que hace.

ligeramente más complicado macro:

(define-syntax let* 
    (syntax-rules() 
    ((let*() 
     expr ...) 
    (let() 
     expr ...)) 
    ((let* ((var val) next ...) 
     expr ...) 
    (let ((var val)) 
     (let* (next ...) 
     expr ...))))) 

Esto define let* en términos de anidados let s, de modo que los enlaces se realizan secuencialmente. Incluye un caso base (sin enlaces), así como un caso recursivo.

Answer 2

Creo que el mejor tutorial sobre macros sigue siendo Kent Dybvig's "Writing Hygenic macros in Scheme with syntax-case". No se trata específicamente de Racket, pero básicamente todo se llevará a cabo, y leer el guide que Chris mencionó anteriormente cubrirá las diferencias restantes. A pesar del nombre, cubre tanto macros "hygenic" como "no higiénicas".

edición de julio de 2014:

Desde que escribí lo anterior, Greg Hendershott ha escrito un tutorial fabuloso en macros en la raqueta, titulado Fear of Macros. Ese es ahora el mejor lugar para comenzar a aprender sobre las macros de Racket.