Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
8 C O N T I N U A Ç Õ E S
Sendo minimalista, Scheme não traz no núcleo da linguagem mecanismos para suporte
a multitarefa, tratamento de exceções, backtracking e corotinas. Ao invés disso, Scheme
suporta uma única primitiva que permite construir todos esses mecanismos. Essa primitiva
é a continuação.
8.1 definindo continuações
Informalmente, uma continuação é semelhante a uma fotografia do mundo no estado em
que ele está num determinado momento. A seguinte história é inspirada em uma tentativa
de um programador Scheme de explicar continuações a um programador Common Lisp.
Um hacker está em seu porão escuro, trabalhando freneticamente na versão
20.9342-2 de seu editor de textos, quando percebe algo terrível: o nível de
cafeína em seu sangue está muito baixo, e ele pretendia trabalhar ininterruptamente
na próximas 48 horas. Ele se lembra então que pouco dinheiro restou
depois da compra de seu novo monitor de 42 polegadas – ele poderá comprar
apenas um copo de café.
Conhecendo continuações, o hacker não se abala – ele deixa um adesivo
amarelo em seu monitor dizendo o que iria fazer em seguida, sai para comprar
café e em pouco tempo está de volta ao seu porão. Ele ainda não toma seu
café; logo antes de levar o copo à boca, ele chama o procedimento Scheme
call-with-current-continuation, que devolve uma fotografia do ambiente
ao seu redor naquele momento. Ele então deixa esta foto em uma caixa perto
da porta.
Depois de tomar seu café e sentir-se imensamente aliviado, o hacker volta ao
Versão Preliminar
computador e passa a fazer o que quer que estava escrito no adesivo amarelo
colado no monitor.
[ 27 de outubro de 2010 at 15:47 ]
195