Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
extensão dinâmica
do procedimento
entrada no
procedimento
saída do
procedimento
call/cc
call/cc
A entrada na extensão dinâmica de um procedimento acontece em duas situações:
quando ele é chamado ou quando alguma continuação, que havia sido criada dentro da
extensão dinâmica deste procedimento, é invocada.
A saída da extensão dinâmica de um procedimento acontece quando ele retorna
ou quando uma continuação, criada fora da extensão dinâmica deste procedimento, é
invocada.
O procedimento dynamic-wind força a execução de trechos de código durante qualquer
entrada ou saída da extensão dinâmica de um procedimento, inclusive quando a
entrada ou saída se dá via continuações. Este procedimento aceita três argumentos:
( dynamic-wind
before
code
after )
Versão Preliminar
Os argumentos before, code e after devem ser procedimentos sem argumentos. O programa
a seguir é usado no padrão R 5 RS para ilustrar o funcionamento de dynamic-wind:
( letrec (( path ’())
(c #f)
( add ( lambda (s)
( set ! path ( cons s paths )))))
( dynamic-wind
;; before:
( lambda () ( add ’ connect ))
202
[ 27 de outubro de 2010 at 15:47 ]