Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
para implementar estes padrões e isoladas em poucas macros ou funções, como nos
exemplos dados (try, coroutine e pause abstraem padrões de uso de continuações).
8.8 não-determinismo
8.9 estilo de passagem de continuações (opcional)
(esta seção está incompleta)
Uma das possíveis formas intermediárias entre o código fonte e a linguagem assembly
1 se chama “estilo de passagem de continuações” (continuation-passing style).
exercícios
Ex. 77 — Determine os contextos das subexpressões:
1.(+ 2 3) em (abs (+ 2 3))
2.x em (* x (- 4 y))
3.(sqrt (* a b)) em (* a (log (sqrt (* a b))) c)
4.x em:
( cond (( > a b)
(* 2 x))
((< a b)
(* 10 y))
( else 0))
Ex. 78 — Implemente um procedimento contexto que aceite doisargumentos, uma expressão
(uma lista de símbolos) e uma subexpressão, e determine o contexto (também
em forma simbólica). Se o egundo argumento não for subexpressão do primeiro, o
Versão Preliminar
procedimento contexto deve retornar #f
1 Por “assembly” entenda-se tanto código nativo para uma arquitetura real ou código para alguma máquina
virtual.
[ 27 de outubro de 2010 at 15:47 ]
213