Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
Dentro do corpo da função (lambda (k) ...), há uma chamada à continuação k.
Quando a chamada acontecer, a computação até ali será ignorada e a continuação usará o
contexto anterior (de quando call/cc foi chamado).
8.1.4 Exemplos
O trecho de código a seguir soma um com “algo”: (+ 1 □).
(+ 1 ( call /cc
( lambda (k)
(+ 2 (k 3)))))
O procedimento call/cc tem um único argumento: (lambda (k) ...); o que será
passado em k para este procedimento é exatamente o “estado atual” da computação,
(+ 1 □).
Ao encontrar o lambda, o interpretador terá:
( lambda (k)
(+ 2 (k 3)))
Mas o valor de k é uma continuação – um histórico de computação, neste caso (+ 1 □).
Ao chegar na forma (k 3), o valor de k é chamado como procedimento, e ele
descartará a computação atual, trazendo a antiga de volta. O contexto atual passa a ser
(+ 1 □). A computação será (+ 1 3), e o resultado é 4!
O programa escapou da computação (“+ 2”) para continuar outra.
Versão Preliminar
(+ 1 (call/cc
(lambda (k)
(+ 2 (k 3)))))
(k 3) escapa
para este ponto
Podemos também armazenar uma comtinuação em uma variável e usá-la quantas
vezes quisermos:
( define r #f)
[ 27 de outubro de 2010 at 15:47 ]
199