Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
7 M AC R O S
Macros são regras para transformar programas antes que eles sejam interpretados ou
compilados. Estas transformações se dão em pequenos trechos e código.
fonte
expansão
de macros
fonte
expandido
interpretador
Figura 7.1: O processo de expansão de macros.
A Figura 7.1 mostra um diagrama do processo de expansão de macros. Formas
especiais são macros pré-definidas na implementação Scheme. Por exemplo a forma
especial or é transformada em uma série de ifs encadeados. A forma (or a (f b)) é
expandida para
( let (( tmp1 a))
(if
tmp1
tmp1
( let (( tmp2 (f b )))
(if
tmp2
tmp2
#f ))))
Versão Preliminar
Esta expansão avalia os argumentos do or no máximo uma vez, da esquerda para
a direita, e deixa de avaliar quando um dos argumentos for diferente de #f – isso é
exatamente o que determina o padrão de Scheme. A Figura 7.2 ilustra este exemplo de
expansão de macro.
[ 27 de outubro de 2010 at 15:47 ]
159