Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
7.2.1 Captura de variáveis
A macro a seguir é uma tentativa de implementar o comando for, que poderia ser usado
como (for i 0 10 (display i)):
( define-macro
( lambda ( dirty-for i i1 i2 . body )
‘( let (( start ,i1) ( stop ,i2 ))
( let loop ((,i start ))
( unless (>= ,i stop ) ,@body ( loop (+ 1 ,i )))))))
( let (( start 42))
1
1
( dirty-for i 1 3 ( display start ) ( newline )))
O número 42 não foi impresso, como se poderia esperar. A expansão da macro mostra
o problema:
(macroexpand (dirty-for i 1 3 (display start) (newline)))
( let (( start 1) ( stop 3))
( let loop ((i start ))
( unless (>= i stop ) ( display start ) ( newline )
( loop (+ 1 i )))))
O símbolo start, usado na macro dirty-for, é também usado fora da macro; embora
provavelmente não tenha sido a intenção do programador, as duas variáveis tem o mesmo
vínculo.
Isso pode ser remediado mudando o nome de start dentro da macro – por exemplo,
ssttaarrtt, que dificilmente seria usado fora da macro. No entanto, não há garantia de
que o símbolo não será usado fora da macro (na verdade certamente seria quando dois
dirty-for forem aninhados), e nomes como este tornam o código mais difícil de ler.
Versão Preliminar
A solução para este problema é um mecanismo para gerar novos símbolos, com
a garantia de que nunca serão iguais a símbolos escolhidos pelo programador. Este
mecanismo é implementado no procedimento gensym, que podemos usar para gerar estes
símbolos:
166
[ 27 de outubro de 2010 at 15:47 ]