SICP問題4.2
2010/03/17 evalでlookup-variable-valueのトコが間違ってたので修正
a. cond節の順序で手続き作用の節(application?)が代入の節(assignment?)の前に現れるようにすると、いろいろな式が手続き作用として扱われてしまう。ヒントとしてあげられている(define x 3)はdefine手続きに x と 3 という引数を与えた式として扱われ、期待した定義としての動作をしなくなる
b. Louisのの考えを助けるために手続き作用がcallで始まるようにした場合の修正
(define (eval exp env) (cond ((self-evaluating? exp) exp) ((variable? exp) (lookup-variable-value exp env)) ((quoted? exp) (text-of-quotation exp)) ((application? exp) (apply (eval (operator exp) env) (list-of-values (operands exp) env))) ((assignment? exp) (eval-assignment exp env)) ((definition? exp) (eval-definition exp env)) ((if? exp) (eval-if exp env)) ((lambda? exp) (make-procedure (lambda-parameters exp) (lambda-body exp) env)) ((begin? exp) (eval-sequence (begin-actions exp) env)) ((cond? exp) (eval (cond->if exp) env)) (else (error "Unknown expression type -- EVAL" exp)))) (define (application? exp) (tagged-list? exp 'call)) (define (operator exp) (cadr exp)) (define (operands exp) (cddr exp))