Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
;; code goes here:
( lambda ()
( add ( call /cc
( lambda (c0)
( set ! c c0)
’talk1 ))))
;; after:
( lambda () ( add ’ disconnect )))
(if (< ( length path ) 4)
(c ’talk2 )
( reverse path )))
(connect talk1 disconnect connect talk2 disconnect)
A variável path é inicializada com uma lista vazia; c será usada para guardar uma
continuação; add adiciona um elemento a path. O programa chama então o procedimento
(lambda () (add (call/cc ...)) dentro de uma forma dynamic-wind, determinando
que sempre que o programa entrar e sair do escopo dinâmico deste procedimento, deve
executar (lambda () (add ’connect)) e (lambda () (add ’disconnect)).
Inicialmente, o trecho é executado uma única vez; no entanto, como o if termina
por chamar a continuação mais uma vez, o trecho é executado novamente – mas os dois
procedimentos são novamente executados, e incluem connect e disconnect à lista path.
A figura a seguir mostra a extensão dinâmica do procedimento (lambda () (add (call/cc ...)))
e ilustra quando os outros procedimentos são chamados.
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
203