Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
(macroexpand ’(gera-mostra 1 ’simbolo ’(lista)))
(begin (for-each display ’(1 ’simbolo ’(lista))) (newline) #t)
Como a macro não avalia seus argumentos, é possível passar a ela como parâmetros
símbolos sem vinculação:
(gera-mostra 1 simbolo (lista))
1simbolo(lista)
(macroexpand ’(gera-mostra 1 simbolo (lista)))
(begin (for-each display ’(1 simbolo (lista))) (newline) #t)
Uma maneira simples de escrever macros com define-macro é partir da expansão,
depois escrever um procedimento que gere a expansão, e só então trocar define por
define-macro.
Por exemplo, a macro gera-mostra poderia ter sido desenvolvida assim:
( lambda args
( begin
( for-each display args )
( newline )
#t)
Um procedimento que gera o código acima é:
( define gera-mostra
( lambda args
( list ’begin
Versão Preliminar
( list ’ for-each ’display ( list ’quote args ))
’( newline )
#t )))
(gera ’arg1 ’arg2)
(begin (for-each display ’(arg1 arg2)) (newline) #t)
Finalmente, trocando define por define-macro a macro é obtida:
( define-macro gera-mostra
( lambda args
164
[ 27 de outubro de 2010 at 15:47 ]