Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
(or a (f b))
expansão
de macros
(let ((tmp1 a))
(if tmp1
tmp1
(let ((tmp2 (f b)))
(if tmp2
tmp2
#f))))
interpretador
Figura 7.2: O processo de expansão de macros – um exemplo concreto.
As transformações feitas durante a expansão de macros podem ser arbitrariamente
complexas, e são feitas usando linguagens de programação (isso contrasta com a expansão
de macros em C, onde só o que se pode fazer é substituir variáveis em templates).
Há vários diferentes sistemas de macro para Scheme; este capítulo aborda primeiro
um sistema mais antigo e que não chegou a ser padronizado, chamado defmacro ou
define-macro, e depois disso o sistema padrão do R 5 RS e alguns outros. Embora o padrão
R 5 RS defina apenas a mini-linguagem syntax-rules para construção de transformadores
de sintaxe, a grande maioria das implementações de Scheme oferece também algum outro
mecanismo. É mais natural que uma discussão sobre macros e higiene inicie com macros
não higiênicas, para que fique claro o problema que as macros higiênicas tentam resolver.
Este Capítulo inicia com uma breve discussão da forma especial quasiquote, usada
na construção de listas e especialmente útil em macros. Depois há a descrição de três
sistemas de macros: o não-higiênico define-macro, o sistema higiênico syntax-rules e o
sistema com renomeação explícita, onde a higiene é controlada.
Versão Preliminar
160
[ 27 de outubro de 2010 at 15:47 ]