Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
( let (( name ( list-ref exp 1)))
( let (( binding ( assoc name env )))
(if binding
( set-cdr ! binding
( list ( eval # ( def-val exp ) env )))
6.3.1.3 if
( error " do-set ! -- vari á vel inexistente !" ))))))
Quando eval recebe uma expressão condicional (com if na cabeça da lista), avaliará o
teste e decidirá entre avaliar a “forma então”, logo após o teste, ou a “forma senão”, logo
depois.
( define if-test ( lambda (x) ( list-ref x 1)))
( define if-then ( lambda (x) ( list-ref x 2)))
( define if-else ( lambda (x) ( list-ref x 3)))
( define do-if
( lambda ( exp env )
( cond (( eval # ( if-test exp ) env )
6.3.1.4 lambda
( eval # ( if-then exp ) env ))
( else
( eval # ( if-else exp ) env )))))
Uma S-epressão que comece com lambda é um procedimento anônimo, então eval
construirá um objeto que o representa, contendo os parâmetros formais, o corpo e
o ambiente. Assim, uma forma (lambda (...) ...) será transformada em uma lista
(proc (lambda (...) ...) ambiente). É importante que o procedimento se lembre do
ambiente onde foi definido para que possamos implementar escopo léxico.
( define make-proc
( lambda ( exp env )
Versão Preliminar
( list ’proc exp env )))
[ 27 de outubro de 2010 at 15:47 ]
149