Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
1.3.3 Primeiro modelo de avaliação para expressões
(esta seção está incompleta)
Para determinar como um interpretador Scheme tratará uma aplicação de procedimento
composto usamos um modelo de avaliação.
• Se a expressão é uma constante, o valor retornado será a própria constante;
• Se a expressão é um símbolo, e este símbolo estiver associado a uma variável, o
valor da variável será retornado;
• Se a expressão é uma lista, há dois casos:
– Se o primeiro elemento da lista for o nome de uma forma especial (por exemplo,
lambda, quote ou define), esta expressão será tratada de maneira específica
para cada forma especial (lambda cria um procedimento, define vincula símbolos
a variáveis, quote retorna seu argumento sem que ele seja avaliado);
– Em outros casos, o interpretador avaliará cada elemento da lista. Depois disso,
verificará se o primeiro elemento é um procedimento. Se não for, o usuário
cometeu um erro. Se o primeiro elemento for um procedimento, ele será
aplicado com os outros como argumentos. Para avaliar a aplicação de um
procedimento composto, o ambiente Scheme avaliará o corpo do procedimento,
trocando cada parametro formal pelo parametro real.
Este modelo de avaliação é útil para compreender o processo de aplicação de procedimentos,
mas não é necessariamente a maneira como ambientes Scheme realmente fazem
a avaliação de formas.
Como exemplo, avaliaremos (juros-compostos 500 0.02 10). Reescrevemos, então,
o corpo do procedimento, trocando os parâmetros formais v, i e t pelos parametros reais
500, 0.02 e 10:
Versão Preliminar
( juros-compostos 500 0.02 10)
=> (* 500 ( expt (+ 1.0 0.02) 10))
Agora não há mais procedimentos compostos, e podemos aplicar cada procedimento
primitivo, avaliando sempre os argumentos antes de aplicar os procedimentos:
(* 500 ( expt (+ 1.0 0.02) 10))
=> (* 500 ( expt 1.02 10))
=> (* 500 1.21899441999476)
[ 27 de outubro de 2010 at 15:47 ]
11