SICP元循环求值器

关于环境的表示和操作
将环境表示为一个框架的表，一个环境的外围环境就是这个表的cdr，空环境则直接用空表表示

(define (enclosing-environment env) (cdr env))
(define (first-frame env) (car env))
(define the-empty-environment '())
;每个框架都是一对表形成的序对：一个是这一框架中的所有变量的表，还是就是它们的约束值的表
(define (make-frame variables values)
    (cons variables values))
(define (frame-variables frame) (car frame))
(define (frame-values frame) (cdr frame))
(define (add-binding-to-frame! var val frame)
    (set-car! frame (cons var (car frame)))
    (set-cdr! frame (cons val (cdr frame))))

创建初始环境，在其中建立起基本过程的名字与一个唯一对象的关联。

(define (setup-environment)
    (let ((initial-env
          (extend-environment (primitive-procedure-names) (primitive-procedure-objects) the-empty-environment)))
        (define-variable! 'true true initial-env)
        (define-variable! 'false false initial-env)
        initial-env))
(define the-global-environment (setup-environment))
;定义基本过程的名字和相应的实现过程
(define primitive-procedures
    (list (list 'car car)
          (list 'cdr cdr)
          (list 'cons cons)
          (list 'null? null?)
          ;;其他基本过程
          ))
(define (primitive-procedure-names)
    (map car primitive-procedures))
(define (primitive-procedure-objects)
    (map (lambda (proc) (list 'primitive (cadr proc)))
         primitive-procedures))

eval对表达式进行分类，依此引导自己的求值工作。eval的构造就像是一个针对被求值表达式的语法类型的分情况分析。针对每类表达式有一个谓词完成相应的检测，有一套抽象方法去选择表达式里的各个部分。

(define (eval exp env)  ;参数是一个表达式和一个环境
    (cond ((self-evaluating? exp) exp)
          ((variable? exp) (lookup-variable-value exp env))
          ((quoted? exp) (text-of-quotation exp))
          ((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))
          ((application? exp)
           (apply (eval (operator exp) env)