sicp 4.3.3小节习题

  本节实现了amb求值器，题目都是扩展这个求值器，引入一些特殊的过程。我的尝试解答从4.51开始
习题4.51，要求实现permanent-set!，这个过程的副作用在遇到失败时不撤销，实现如下：

;扩充analyze 
((permanent-assignment? exp)
         (analyze-permanent-assignment exp))

;实现

(define (permanent-assignment? exp)
  (tagged-list? exp 'permanent-set!))
(define (analyze-permanent-assignment exp)
   (let ((var (assignment-variable exp))
        (vproc (analyze (assignment-value exp))))
      (lambda(env succeed fail)
        (vproc env
               (lambda(val fail2)
                      (set-variable-value! var val env) 
                      (succeed 'ok fail2))
               fail))))

习题4.52，实现if-fail的特殊形式，在第一个表达式如果求值成功，就返回该表达式的值，否则返回第二个表达式的值，实现如下：

;扩充analyze
 ((if-fail? exp)
         (analyze-if-fail exp))
;实现
(define (if-fail? exp)
  (tagged-list? exp 'if-fail))
(define (analyze-if-fail exp)
   (let ((pproc (analyze (if-predicate exp)))
        (cproc (analyze (if-consequent exp))))
     (lambda(env succeed fail)
        (pproc env (lambda(pred-value fail2)
                     (succeed pred-value fail2))
               (lambda() (cproc env succeed fail))))))

pproc如果执行成功，就返回结果pred-value，否则就执行fail过程(lambda() (cproc env succeed fail))，测试略。

习题4.53，根据题意可知这个过程返回结果应该是(prime-sum-pair '(1 3 5 8) '(20 35 110))的所有结果，执行也是如此：

;;; AMB-Eval value:
((8 35) (3 110) (3 20))

习题4.54，将require实现为特殊形式：

;扩充analyze
((require? exp)
         (analyze-require exp))

;实现
(define (require? exp)
  (tagged-list? exp 'require))
(define (require-predicate exp)
  (cadr exp))
(define (analyze-require exp)
  (let ((pproc (analyze (require-predicate exp))))
    (lambda (env succeed fail)
      (pproc env (lambda(pred-value fail2)
                   (if (not pred-value)
                       (fail2)
                       (succeed 'ok fail2)))
             fail))))

文章转自庄周梦蝶  ，原文发布时间2008-11-21