Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
A elipse (“...”) usada na definição da macro casa com a cauda de uma lista.
As variáveis usadas dentro de syntax-rules não tem qualquer relação com as variáveis
do programa Scheme. A macro acima usa uma variável “i” dentro do syntax-rules,
mas o código gerado não contém uma variável “i”:
(vezes 3 (display i)(newline))
Error: unbound variable: i
(let ((i 2)) (vezes 3 (display i) (newline)))
2
2
2
#t
7.3.1 Palavras-chave
A macro vezes define a expansão para formas que começam com o identificador vezes,
como se ele fosse um procedimento. Em algumas situações pode ser necessário incluir
palavras-chave em outras posições da S-expressão. Um exemplo simples é a implementação
de uma macro for.
( FOR x IN lista DO body )
( FOR x FROM 1 TO n DO body )
Uma primeira tentativa de construir a macro for é:
( define-syntax for
( syntax-rules ()
Versão Preliminar
(( for x in lista do body ...)
;; template para percorrer lista:
( let loop ((l lista ))
(if ( not ( null l))
( let ((x ( car l )))
body ...
( loop ( cdr l )))
#f )))
[ 27 de outubro de 2010 at 15:47 ]
171