Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
devem ser globais, passadas como parâmetro ou definidas dentro do procedimento (esta
regra é a que se aplica também a programas C). É importante distinguir entre três tipos
de ambiente:
• Local: contém vinculações para nomes declarados no bloco de código sendo avaliado;
• Não-local: contém vinculações para nomes declarados fora do bloco de código sendo
avaliado;
• Global: contém vinculações para nomes que podem ser acessados em qualquer parte
do programa. Estes nomes são declarados fora de qualquer bloco.
3.2.1 Escopo estático
O escopo de uma vinculação é a parte do programa em que ela é válida.
Usando escopo estático, a vinculação de um nome no ambiente é determinada pelo
seguinte algoritmo:
i) Se o nome foi declarado no bloco sendo avaliado, aquela vinculação será usada.
Caso contrário,
ii) Se o nome não foi declarado no bloco em avaliado, ele deve ser buscado nos blocos
que o envolvem, do imediatamente envolvente até o mais distante. Se todos os
blocos envolventes tiverem sido verificados e a declaração não encontrada,
iii) Se o nome está no ambiente global, aquela vinculação será usada, caso contrário
não há vinculação para aquele nome no ambiente.
Versão Preliminar
Pode-se informalmente dizer que o trecho de código onde um nome é visível é o
bloco onde foi declarado e todos os blocos aninhados dentro dele, e por este motivo
muitas vezes usa-se “escopo léxico” como sinônimo de “escopo estático”.
3.2.2 Cuidados com o ambiente global
Poderíamos modificar nosso gerador de números aleatóreos para não precisarmos mais
passar o valor anterior sempre que quisermos obter um número:
( define aleat 112)
88
[ 27 de outubro de 2010 at 15:47 ]