Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
6 E VA L
O Capítulo 1 mencionou brevemente o Read-Eval-Print Loop; read e print são procedimentos
simples para entrada e saída de dados, descritos no Capítulo 2, mas eval está no
coração de um interpretador Scheme.
Em Scheme, o procedimento eval aceita um trecho de código, uma especificação de
ambiente, e então avalia o código usando aquele ambiente:
( eval codigo ambiente )
O ambiente passado para eval pode ser obtido de três diferentes procedimentos. O
primeiro deles, (scheme-report-environment versao), devolve um ambiente “limpo”,
com apenas as vinculações dos símbolos definidos pelo padrão Scheme determinado
por versao (por exemplo 5 para R 5 RS). Já null-environment devolve um ambiente com
apenas os nomes das formas especiais do padrão Scheme 1 :
(eval ’if (null-environment 5))
#
(eval ’+ (null-environment 5))
Unbound variable: +
O terceiro procedimento, (interaction-environment), devolve o ambiente usado
no momento em que foi chamado. O próximo exemplo ilustra a diferença entre os
procedimentos scheme-report-environment e interaction-environment.
(define + -)
No ambiente atual a conta não funciona:
(+ 4 3)
1
(eval ’(+ 4 3) (interaction-environment 5))
1
Versão Preliminar
Usando o ambiente padrão:
1 Nem toda implementação de Scheme retornará alguma informação a respeito de formas especiais; algumas
delas, diante de uma tentativa de avaliar o símbolo if, simplesmente devovlerão uma mensagem de erro.
[ 27 de outubro de 2010 at 15:47 ]
137