Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Por exemplo, a expressão (* (+ 10 (* 5 20)) 0.5) é normalmente avaliada na
seguinte ordem:
(* (+ 10 (* 5 20)) 0.5) =
(* (+ 10 100) 0.5) =
(* 110 0.5) =
55
Supondo a existência de um procedimento escape que transforma outros procedimentos
em procedimentos de escape, a expressão (* ((escape +) 10 (* 5 20)) 0.5) = é
avaliada de outra forma:
(* ((escape +) 10 (* 5 20)) 0.5) =
(* ((escape +) 10 100) 0.5) =
(+ 10 100) = ← aqui está o “escape”
110
O procedimento (escape +) eliminou a computação que esperava para acontecer (o
(* · · · )).
8.1.3 Continuações
O procedimento Scheme call-with-current-continuation (normalmente abreviado
como call/cc) é usado da seguinte forma:
( call /cc
( lambda (k)
...
(k ...)))
O único argumento de call/cc é uma função de um argumento (chamada de recebedor).
call/cc fará o seguinte:
• Determinará o contexto atual (é importante lembrar-se de que o contexto é um
procedimento);
Versão Preliminar
• Chamará o procedimento escape no contexto atual, gerando um procedimento de
escape (chamado de continuação);
• A variável k, no contexto do recebedor, será a continuação.
198
[ 27 de outubro de 2010 at 15:47 ]