Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
interpretador não será um ambiente Scheme completo, mas ilustrará claramente como
formas são avaliadas.
O interpretador reconhecerá def ao invés de define para criar vínculos.
6.3.1 Construção do interpretador
Começaremos com procedimentos para representar o ambiente; depois, procedimentos
internos do interpretador para criar e modificar vínculos no ambiente com def e set!. Em
seguida, implementamos procedimentos que tratam as formas if e lambda. Finalmente
implementaremos eval e apply.
6.3.1.1 Ambiente
Em nosso interpretador o ambiente será representado como uma lista de associações. O
procedimento find-in-env encontra uma variável em um ambiente, sinalizando um erro
quando a variável não for encontrada.
( define find-in-env
( lambda ( var env )
( let (( binding ( assoc var env )))
(if binding
( list-ref binding 1)
( error " Vari á vel não vinculada " var )))))
O procedimento extend-env extende um ambiente com novos vínculos: recebe uma
lista de variáveis, uma lista de valores, um ambiente e retorna o novo ambiente, onde
as novas variáveis são vinculadas aos novos valores. Usaremos extend-env quando um
procedimento for aplicado (seus parâmetros, definidos em uma forma lambda, serão
variáveis no ambiente extendido).
Versão Preliminar
( define extend-env
( lambda ( vars values env )
( cond (( or ( null env )
( null vars ))
env )
( else
( cons ( list ( car vars ) ( car values ))
146
[ 27 de outubro de 2010 at 15:47 ]