Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( set ! resultado-final ( begin f1 ...))
#t )))) ;; não houve throw, retorne true
(if talvez resultado-final ( handler condicao )))))))
A macro try aceita um procedimento de tratamento de erros e outro procedimento,
que será chamado.
( try on-error : proc-trata-erro
proc-a-chamar
Quando o procedimento throw é chamado e a continuação usada o controle é transferido
para o início do procedimento talvez. A computação que estava em curso é
abandonada e volta-se ao if; como o valor de retorno do throw será #f, a forma
(handler condicao) é executada.
Se throw não for usada, talvez retornará #t e o if retornará o valor de resultado-final.
O procedimento proc-trata-erro deve aceitar um argumento, e o programador
deverá cuidar para que o tipo de dados passado como argumento para throw funcione
corretamente com proc-trata-erro.
( try
on-error : ( lambda (e)
( display ( format " --- ERRO : ~a ---~% " e )))
( display ’ tudo-bem )
( newline )
( throw ’ catastrofe )
( display ’ nunca-chegarei-aqui )
( newline ))
tudo-bem
-- ERRO: catastrofe --
Versão Preliminar
Há um pequeno problema com a macro try: ela usa set! para modificar algumas
variáveis locais (condicao, talvez e resultado-final) – o que não tem efeito fora do
escopo do let* – mas também modifica handler. A modificação de handler é visível
após o uso do try:
( try
on-error : ( lambda (e)
( display ( format " --- ERRO : ~a ---~% " e )))
[ 27 de outubro de 2010 at 15:47 ]
205