Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
(( call-with-current-continuation
( lambda (k)
( letrec (( um
( lambda ()
( display "Um")
( newline )
(k dois )))
( tres
( lambda ()
( display " Tres ")
( newline )
(k fim )))
( dois
( lambda ()
um ))))
( fim
( display " Dois ")
( newline )
(k tres )))
( lambda ()
( display " Fim !")
( newline )
#f )))
Este programa mostra claramente a relação entre continuações em programas funcionais
e GOTO em programas imperativos (basta trocar o identificador “k” por “goto”
e reler o programa). Embora haja, como o exemplo mostra, claras similaridades entre
continuações e o comando GOTO, há também diferenças importantes: continuações trocam
de estado em um programa, mudando o contexto corrente e se lembrando de algum
contexto que faz sentido. O GOTO muda o fluxo de controle arbitrariamente entre posições
no fonte do programa, podendo inclusive levar o programa a estados inconsistentes ou que
não fazem sentido.
Ainda que os problemas com continuações sejam menos graves que aqueles relacionados
ao GOTO, elas devem, assim como este, ter seu uso controlado e assim como
Versão Preliminar
macros, devem ser usadas apenas quando funções não forem suficientes e isoladas em
poucas partes de um programa. Após a verificação que um determinado padrão de uso de
continuações se repete e poderia ser abstraído, primitivas são elaboradas usando call/cc
212
[ 27 de outubro de 2010 at 15:47 ]