Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
( display let ))
( let (( if even ))
( display if ))
( let (( if even ))
( display (if #f 1 2)))
7.3.7 Armadilhas de syntax-rules
O transformador de macros syntax-rules é útil e fácil de usar quando se quer escrever
macros simples. Ao desenvolver macros que envolvem mais engenhosidade surgem
diversos pequenos problemas e armadilhas que devem ser conhecidos pelo programador.
7.3.7.1 Símbolos livres no corpo da macro
Se no corpo de uma macro há referência a um símbolo que não estava no padrão que
casou, a vinculação dele será buscada no ambiente em vigor quando a macro foi definida
(antes de ser expandida em qualquer lugar):
( define-syntax soma
( syntax-rules ()
((_ a b)
(+ a b c ))))
A macro foi definida fora de qualquer procedimento ou bloco, portanto o c se refere
ao vínculo global do símbolo c. Uma primeira tentativa de uso da macro falhará porque c
não está definido:
(soma 3 4)
ERROR: unbound variable: c
Usar let cria um novo ambiente com um novo vínculo para c, mas este não é o
Versão Preliminar
vínculo global para c, portanto não resolverá o problema:
(let ((c 10)) (soma 3 4))
ERROR: unbound variable: c
[ 27 de outubro de 2010 at 15:47 ]
179