Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
6.3.1.6 apply
Quando uma S-expressão não é qualquer das formas especiais (def, set!, quote, if,
lambda, begin, e é uma lista, nosso interpretador presumirá que se trata de uma aplicação
de procedimento. Ele avaliará a cabeça da lista e chamará apply#, que aceita trêss argumentos:
o primeiro deve ser um procedimento, o segundo uma lista de argumentos e o
terceiro é o ambiente a ser usado na avaliação.
(proc (lambda (...args...) ...body...) env)
(car (cdr x))
(list-ref x 2)
( define lambda-args + body ( lambda (x) ( cdr ( car ( cdr x )))))
( define lambda-args ( lambda (x) ( car ( lambda-args + body x ))))
( define lambda-body ( lambda (x) ( cdr ( lambda-args + body x ))))
( define lambda-env ( lambda (x) ( list-ref x 2)))
( define apply #
( lambda ( proc args env )
( cond (( primitive-proc proc )
( apply proc ( map ( lambda (a)
( else
( eval # a env ))
args )))
( eval-seq ( lambda-body proc )
( extend-env ( lambda-args proc )
( map ( lambda (a)
( eval # a env ))
args )
( lambda-env proc )))))))
Se um procedimento é primitivo, apply simplesmente usa o apply da implementação
Versão Preliminar
subjacente de Scheme, passando a ele o procedimento e os argumentos, já avaliados.
Se o procedimento não é primitivo, então ele é representado como um objeto com
tres partes: argumentos formais, corpo e ambiente (este é o ambiente em vigor quando o
procedimento foi definido). Para avaliar um objeto deste tipo nosso interpretador:
152
[ 27 de outubro de 2010 at 15:47 ]