Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
6.3.1.5 eval
O procedimento eval aceita como parâmetros uma S-expressão e um ambiente, e seu
valor de retorno é definido em casos: se a S-expressão é “auto-avaliante” (ou seja, seu
valor é ela mesma), ela é retornada sem modificações.
( define auto-eval
( lambda ( exp )
(or ( boolean exp )
( number exp )
( string exp )
( primitive-proc exp )
( and ( pair exp )
( is-a exp ’proc )))))
Um símbolo será sempre interpretado como nome de uma variável, por isso podemos
definir um predicado var que idêntico a symbol:
( define var symbol )
Qualquer lista não vazia pode ser uma aplicação de procedimento, e o procedimento
is-a verifica se uma lista inicia com um certo símbolo.
( define is-a
( lambda ( exp sym )
( eqv ( car exp ) sym )))
( define proc pair )
Por exemplo, para a forma f = (if ...), temos que (is-a f ’if) é verdadeiro.
Para as formas dentro de lambda ou begin é necessário um mecanismo para avaliação
de várias formas em sequência. Para isso implementamos eval-seq.
Versão Preliminar
( define eval-seq
( lambda ( exp env )
( cond (( null exp )
( error " eval-seq : null sequence "))
(( null ( cdr exp ))
( eval # ( car exp ) env ))
( else
( eval # ( car exp ) env )
150
[ 27 de outubro de 2010 at 15:47 ]