Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
(define simbolo (gensym))
simbolo
G7
(eqv simbolo ’G7)
#f
O símbolo retornado por gensym neste exemplo é representado como G7, mas verificamos
também que o símbolo “G7” definido pelo usuário não é equivalente ao gerado por
gensym.
Os símbolos gerados por gensym tem uma representação externa que pode lembrar
símbolos escolhidos pelo programador, mas o sistema Scheme se lembrará que estes
símbolos não podem ser eqv a quaisquer outros incluídos no texto do programa: um
símbolo gerado por gensym só é igual a si mesmo.
Assim, ao invés de incluir diretamente os símbolos start, stop e loop, podemos
escrever a macro usando para eles símbolos únicos gerados por gensym, mas usando
nomes compreensíveis como apelidos:
( define-macro better-for
( lambda (i i1 i2 . body )
;; Este let não é expandido: é código interno da macro
( let (( start ( gensym ))
( stop ( gensym ))
( loop ( gensym )))
;; A lista gerada abaixo será devolvida ao expandir a macro;
;; Como usamos quasiquote e start/stop/loop estão incluídos
Versão Preliminar
;; SEM quote (com vírgula antes), o símbolo incluído na expansão
;; da macro é o gerado por gensym.
‘( let ((, start ,i1)
(, stop ,i2 ))
( let ,loop ((,i ,start ))
(if (< ,i ,stop )
( begin ,@body
(, loop (+ 1 ,i )))))))))
( let (( start 42))
[ 27 de outubro de 2010 at 15:47 ]
167