Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
;; força o retorno com false:
(k #f )))
( set ! resultado-final ( begin f1 ...))
#t )))) ;; não houve throw, retorne true
;; restaure throw:
( set ! throw old-throw )
(if talvez resultado-final ( handler condicao )))))))
O sistema de tratamento de exceções desenvolvido nesta seção é minimalista, mas
ainda assim útil. Há diversos outros modelos de tratamento de exceção possíveis, mas
este texto não os abordará.
Ao desenvolver estes sistemas de exceções tivemos que usar uma variável no ambiente
global. Isso foi necessário porque o trecho de código a ser executado, (begin f1 ...),
pode conter chamadas a outros procedimentos que por sua vez chamam throw, e não
tínhamos como incluir facilmente vínculo para throw em todos estes ambientes a não ser
através do ambiente global.
8.5 co-rotinas
Subrotinas são trechos de código com um ponto de entrada e um ponto de saída; aceitam
parâmetros na entrada e retornam valores ao terminar. Os procedimentos na linguagem
Scheme oferecem toda a funcionalidade de subrotinas (e mais que elas). Quando mais de
uma subrotina é chamada, suas invocações ficam sempre empilhadas, e a última a ser
iniciada deve ser a primeira a retornar.
Versão Preliminar
Co-rotinas são semelhantes a procedimentos: trechos de código que aceitam argumentos
ao iniciar. No entanto, co-rotinas não obedecem a mesma disciplina de pilha que
subrotimas: pode-se entrar e sair de uma co-rotina várias vezes, e co-rotinas diferentes
podem ser intercaladas no tempo. Uma co-rotina pode retornar valor mais de uma vez (e
neste caso é chamada de gerador).
Como continuações capturam o contexto atual de um processo, parece natural usá-las
para implementar co-rotinas.
( define-syntax coroutine
( syntax-rules ()
(( coroutine arg resume body ...)
[ 27 de outubro de 2010 at 15:47 ]
207