Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
(string-append a "D’immenso")
ERROR in string-concatenate: invalid type, expected string: 10
(set! a "M’illumino")
a
”M’illumino”
(string-append a "D’immenso")
”M’illumino D’immenso”
3.2 quadros e ambientes
O modelo de avaliação que usamos no Capítulo 1 não contempla a possibilidade de
modificarmos o valor de uma variável: símbolos eram usados para dar nomes a valores,
e o vínculo entre nome e valor nunca mudava. Por isso pudemos ter certeza de que
procedimentos sempre produzirão os mesmos resultados se chamados com os mesmos
argumentos.
Trocaremos este modelo por outro, onde trataremos variáveis não como nomes asociados
a valores, mas como lugares na memória do computador onde podemos armazenar
valores.
Um quadro representa a associação entre nomes e locais. Há um quadro
chamado global, que sempre é visível por todas as formas; a forma lambda cria
novos quadros, contendo ligações para os nomes de seus parâmetros.
( define x 10)
( define y 7)
(( lambda (x)
0.5)
3.5
(* x y))
Versão Preliminar
A figura a seguir ilustra a situação deste exemplo: há no ambiente global dois vínculos,
x→ 10 e y→ 7. Ao ser avaliada, a forma lambda cria um novo quadro com mais um vínculo
x→ 0.5. Dentro desta forma, para avaliar os argumentos de *, o interpretador buscará os
84
[ 27 de outubro de 2010 at 15:47 ]