Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
( extend-env ( cdr vars )
( cdr values )
env ))))))
Os novos vínculos são incluídos com cons, e por isso obedecem disciplina de pilha. É
importante também que
• Quando um ambiente é extendido por um lambda (ou let), as novas variáveis devem
ser visíveis apenas dentro deste ambiente, e não no ambiente antigo, que foi extendido
– o que de fato ocorre, porque referências anteriores só existiam aos vínculos mais à
frente na lista;
• Vínculos novos devem ter prioridade sobre os antigos (que já existiam antes do
ambiente ser extendido). Isto evidentemente também acontecerá, já que find-in-env
pesquisará os vínculos da cabeça até a cauda da lista.
Por exemplo, o ambiente do primeiro let no código a seguir contém um vínculo x
→ 10; já o ambiente do segundo let é extendido com x → 50 e y → 20:
( let ((x 10))
( display x)
( let ((x 50)
(y 20))
(+ x y )))
Supondo que o primeiro ambiente tinha apenas o vínculo para x, ele seria representado
por ((x 10)). Ao avaliar o display, o interpretador fará:
(find-in-env ’x ’((x 10)))
10
Já ao avaliar o + o interpretador usará uma extensão do ambiente anterior.
(extend-env ’(x y) ’(50 20) ’((x 10)))
((x 50) (y 20) (x 10))
(find-in-env ’x ’((x 50) (y 20) (x 10)))
50
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
147