Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
7.1.1 Unquote-splicing
Ao construir listas constantes, podemos querer fazer algo semelhante a cons: dada uma
lista constante (f1 f2 f3), queremos a lista (f0 f1 f2 f3). Não conseguiremos faze-lo
com quasiquote:
( let ((a ’(f1 f2 f3 )))
‘(f0
,a))
(f0 (f1 f2 f3))
Nosso problema é que o valor de a é uma lista, e o quasiquote usado na segunda
linha usou este valor para osegundo elemento de outra lista. Se quisermos “espalhar” os
elementos da lista a dentro de outra lista, temos que citá-la com unquote-splicing:
( let ((a ’(f1 f2 f3 )))
‘(f0 ( unquote-splicing a )))
(f0 f1 f2 f3)
A abreviação para (unquote-splicing forma) é ,@forma.
( let ((a ’(f1 f2 f3 )))
‘(f0 ,@a ))
(f0 f1 f2 f3)
7.2 macros não higiênicas: define-macro
Diversas variantes do mecanismo define-macro eram usados informalmente por muitas
implementações Scheme antes de R 5 RS. Como não havia padronização, sua sintaxe pode
variar, mas não muito. Uma das variantes de define-macro tem a seguinte forma:
Versão Preliminar
( define-macro MACRO-NAME
( lambda MACRO-ARGS
MACRO-BODY ...))
162
[ 27 de outubro de 2010 at 15:47 ]