Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( throw ’ catastrofe ))
-- ERRO: catastrofe --
(throw "Uh")
-- ERRO: uh --
O procedimento de tratamento de erros passado para o try permaneceu vinculado à
variável global handler – e não há sequer como prever quando esta modificação ocorrerá,
porque ela só acontece quando uma exceção é levantada!
Há uma solução simples para este problema: a macro try pode se encarregar de
guardar o valor anterior da variável throw – e para que isto faça sentido, deve haver
um valor anterior de throw! Uma chamada a throw fora de algum try deve resultar
em uma mensagem minimamente informativa. A nova versão de try mostrada a seguir
implementa estas mudanças.
( define throw
( lambda ( arg )
( format " Throw chamado fora de try !")
( newline )
( display ( format " Argumento de throw : ~a~%" arg ))))
( define-syntax try
( syntax-rules ( on-error :)
((_ on-error : handler f1 ...)
( begin
Versão Preliminar
( let * (( old-throw throw ) ;; antigo throw guardado
( condicao #f)
( resultado-final #f) ;; presumindo falha
( talvez
( call /cc
( lambda (k)
( set ! throw ( lambda (co)
;; handler deve ser chamado c/
;; argumento de throw, então
;; é necessário guardá-lo:
( set ! condicao co)
206
[ 27 de outubro de 2010 at 15:47 ]