Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
( list ’begin
( list ’ for-each ’ display ( list ’quote args ))
’( newline )
#t )))
A macro abaixo ilustra novamente, e de maneira ainda mais clara, a diferença entre
código executado durante o tempo de expansão da macro e durante a avaliação:
( define-macro m
( lambda (x)
( display " Mensagem mostrada durante a expans ão da macro ")
( newline )
‘( begin ( display ,x)
( newline ))))
Dentro de um laço, a macro é expandida uma única vez, mas o código expandido é
usado várias vezes:
(do ((i 0 (+ 1 i))) ((= i 4)) (m ’teste))
Mensagem mostrada durante a expansão da macro
teste
teste
teste
teste
Quando macroexpand é usado, a mensagem é mostrada (porque a macro está sendo
expandida), mas a lista resultante da expansão da macro não contem o display que
mostra a mensagem:
(macroexpand ’(m ’teste))
Mensagem mostrada durante a expansão da macro
(begin (display ’teste) (newline))
Há um problema importante com o uso de define-macro, descrito na próxima
subseção.
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
165