Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
O contexto de uma computação só é de interesse quando o programa está em execução.
Assim, faz sentido modificar ligeiramente a definição de contexto dada acima:
• Primeiro passo: Troca-se s por □;
• Segundo passo: avalia-se a expressão com □ até que a computação não possa mais
continuar;
• Terceiro passo: Um procedimento é construído que aceita □ como parâmetro e cujo
corpo é exatamente a expressão obtida no passo anterior.
Como exemplo calcularemos o contexto de (+ 2 x) na expressão
(if (> 10 20)
(+ a (/ b c))
(* (+ 2 x) 5))
Primeiro, trocamos (+ 2 x) por □:
(if (> 10 20)
(+ a (/ b c))
(* □ 5))
Depois, avaliamos a expressão até não podermos mais continuar:
(* □ 5)
Finalmente, construimos o procedimento:
( lambda (□)
(* □ 5)
e este é o contexto de (+ 2 x) naquela expressão. O segundo passo nos permitiu
selecionar o segundo braço do if, eliminando-o.
8.1.2 Procedimentos de escape
Versão Preliminar
Um procedimento de escape é um procedimento especial. Quando, dentro de uma computação,
um procedimento de escape é chamado, o resultado de toda a computação passa
a ser igual ao resultado do procedimento de escape: a expressão onde o procedimento de
escape estava inserido é ignorada.
[ 27 de outubro de 2010 at 15:47 ]
197