Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( inc (* 2 x ))))))
Uma tentativa de usar (mac 3) resultará em erro, porque o x do primeiro padrão (de
mac) é o mesmo do segundo (o de inc):
(macroexpand ’(mac 3))
( let-syntax (( inc ( syntax-rules ()
( inc (* 2 3)))
((_ 3) (+ 1 3)))))
O padrão de inc já foi escrito com o valor casado com x no padrão de mac.
A solução para este problema é sempre usar símbolos diferentes em macros aninhadas:
( define-syntax mac
( syntax-rules ()
((_ x)
( let-syntax
(( inc
( syntax-rules ()
((_ y) (+ 1 y )))))
( inc (* 2 x ))))))
7.4 macros com renomeação explícita
7.5 problemas comuns a todos os sistemas de macro
Versão Preliminar
Há sutilezas e pequenas armadilhas inerentes ao desenvolvimento de macros, higiênicas
ou não. Esta seção trata de alguns desses tópicos.
7.5.1 Número de avaliações
A macro a seguir é uma implementação de or:
( define-syntax or*
[ 27 de outubro de 2010 at 15:47 ]
181