Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( better-for i 1 3 ( display start ) ( newline )))
42
42
A expansão da macro mostra como os símbolos foram trocados:
(macroexpand ’(better-for i 1 3 (display start) (newline)))
( let (( G11 1)
( G12 3))
( let G13 ((i G11 ))
(if (< i G12 )
( begin ( display start )
( newline )
( G13 (+ 1 i ))))))
Como durante a escrita da macro o programador pode usar variáveis com nomes
razoáveis (como start, stop e loop), os nomes “estranhos” na expansão não são um
problema.
Se ainda assim for interessante usar nomes que façam sentido mesmo após a expansão
da macro (para facilitar a depuração do programa, por exemplo), basta passar ao
procedimento gensym uma string, e ela será usada como base para o nome do símbolo:
(gensym "start")
start14
Versão Preliminar
Embora a macro better-for não capture variáveis definidas pelo programador no
contexto onde a macro é usada, em situações fora do comum ainda é possível que a macro
se comporte de maneira diferente do esperado:
( let (( if ’x))
( less-dirty-for i 1 3
( display i )))
O programa acima muda a vinculação do símbolo if, usado na macro, e a após a
expansão de less-dirty-for será:
( let (( if ’x))
168
[ 27 de outubro de 2010 at 15:47 ]