Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( syntax-rules ()
((_) #f)
((_ test )
(if test
test
#f))
((_ test1 test2 ...)
(if test1
test1
(or* test2 ...)))))
(or* (begin (display 5)(newline) 10) #f)
5
5
10
O 5 foi mostrado duas vezes porque foi avaliado duas vezes:
(expand ’(or* (begin (display 5) (newline) 10) #f)
(if (begin (display 5) (newline) 10) (begin (display 5) (newline) 10) (or*
#f))
É comum que se queira avaliar os argumentos de macros uma única vez. No exemplo
acima o argumento da macro apenas mostra o número 5 – o que não parece um problema
grave. No entanto, os efeitos colaterais do argumento da macro poderiam ser mais
importantes: uma variável pode ser incrementada duas vezes ao invés de uma, ou uma
mensagem pode ser enviada pela rede mais de uma vez, por exemplo.
O problema pode ser resolvido avaliando cada argumento uma única vez em uma
variável temporária:
Versão Preliminar
( define-syntax or*
( syntax-rules ()
((_) #f)
((_ test )
( let (( result test ))
(if result
result
#f )))
182
[ 27 de outubro de 2010 at 15:47 ]