Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Algumas horas depois, ele sente que precisa de mais cafeína (e desta vez não
tem um centavo sequer!) O haker deixa novamente no monitor um adesivo
com a tarefa que iria fazer em seguida e vai até a porta. Ele pega a foto que
havia deixado na caixa e aplica como se fosse um procedimento Scheme, e...
No instante seguinte o hacker está novamente com seu copo de café na mão!
Ele toma novamente o café e segue para seu computador. Chegando lá, ele
passa novamente a fazer o que estava indicado no adesivo no monitor – e que
desta vez é diferente do adesivo amarelo usado na primeira vez que foi tomar
café.
O hacker continua programando e usando as “fotos” (continuações) até finalmente
terminar a versão 20.9342-2 do editor de textos, que traz cinco novas
features e quarenta e sete novos bugs que não existiam na versão 20.9342-1.
Esta pequena história deve ajudar o leitor a compreender o conceito de continuação,
que é semelhante à “foto” obtida pelo protagonista. Para conseguir a continuação, o personagem
precisou usar um procedimento Scheme cujo nome é call-with-current-continuation,
muitas vezes abreviado call/cc.
Descreveremos continuações usando dois outros conceitos: o de contexto de uma
subexpressão e o de procedimento de escape.
8.1.1 Contextos
Em uma S-expressão S, o contexto de uma subexpressão s é obtido da seguinte maneira:
é:
• Troca-se s por □;
• Construímos um procedimento que aceite □ como parâmetro e cujo corpo seja
exatamente a expressão obtida no passo anterior.
Por exemplo, na expressão (* 2 (log (+ x y))), o contexto da subexpressão (+ x y)
• Primeiro passo: (* 2 (log □))
Versão Preliminar
• Segundo passo: (lambda (□) (* 2 (log □))
Ou seja, o contexto da subexpressão (+ x y) é um procedimento que tomaria seu
resultado e continuaria a computação.
196
[ 27 de outubro de 2010 at 15:47 ]