Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
7.1 quasiquote
Descrevemos no Capítulo 1 a forma especial quote, que impede a avaliação de seu
argumento. Assim, (quote (+ 10 5)) resulta em uma lista, e não no número 15. Ao
escrever macros não-higiênicas usaremos outras formas especiais que tem efeito parecido
com o de quote: nossas macros são procedimentos que geram formas Scheme (que na
grande maioria das vezes são listas).
Se quisermos construir a lista (set! stack (cons elt stack)) mantendo todos os
símbolos fixos exceto stack e elt, que devem ser parametros, podemos escrever
( lambda ( stack elt )
( list ’set ! stack ( list ’cons elt stack )))
mas esta intercalação de list com símbolos, alguns com quote e outros sem, pode se
tornar confusa.
A forma especial quasiquote funciona como quote, impedindo a avaliação de seu
argumento, mas com uma exceção: a forma especial unquote, quando usada dentro de
quote, determina que seu argumento seja avaliado. Podemos entender quasiquote e
unquote como duas chaves: uma que desliga a avaliação (quasiquote) e outra que a liga
novamente (unquote). O exemplo a seguir ilustra o funcionamento de quasiquote.
( quasiquote (( unquote (+ 1 2))
(3 (+ 3 4))
(+ 3 4)))
Assim como (quote forma) é normalmente abreviado por ’forma, também (quasiquote forma)
é abreviado por ‘forma e (unquote forma) é abreviado como ,forma. O exemplo anterior
pode ser reescrito com as abreviações:
‘(,(+ 1 2) (+ 3 4))
(3 (+ 3 4))
Nosso primeiro exemplo fica muito mais claro usando quasiquote: podemos pensar
Versão Preliminar
como se tivéssemos um template de lista, e inserimos valores nas posições onde há vírgulas.
( lambda ( stack elt )
‘( set ! ,stack ( cons ,elt ,stack )))
[ 27 de outubro de 2010 at 15:47 ]
161