sicp 习题3.6-3.8试解

习题3.6，我的实现如下：
(define rand
  (let ((x 3))
     (lambda(arg)
      (cond((eq? arg 'generate)
            ((lambda()(set! x (rand-update x)) x)))
           ((eq? arg 'reset)
            (lambda(init) (set! x init) (set! x (rand-update x)) x))
           (else
             error "Unkonown OP")))))
简单解释下，当参数是generate时，直接调用匿名lambda函数(lambda()(set! x (rand-update x)) x) ，最后返回随机值。而当第一个参数是reset时，返回匿名函数(lambda(init) (set! x init) (set! x (rand-update x)) x)，这个匿名函数接受一个新的初始值，并赋值给x，然后调用rand-update

习 题3.7，引入赋值的代价就是引入了副作用以及相应的复杂性，3.3小节提出了命令式语言与函数式语言的基本差别。这一题，首先修改习题3.3（参见 《sicp 3.1小结习题尝试解答》），增加一个检查密码是否正确的功能，用以检查输入的原始帐户密码是否正确,make-account修改一下
;习题3.3
(define (make-account2 balance passwd)
  (define (checkpwd pwd)
    (eq? pwd passwd))
  (define (withdraw amount)
    (if (>= balance amount)
        (begin (set! balance (- balance amount)) balance)
        "余额不足"))
  (define (deposit amount)
    (set! balance (+ balance amount))
    balance)
  (define (dispatch pwd m)
    (if (eq? pwd passwd)
        (cond ((eq? m 'withdraw) withdraw)
              ((eq? m 'deposit) deposit)
              ((eq? m 'checkpwd) checkpwd)
            (else
               (error "Unknow request--MAKE-ACCOUNT" m)))
        (lambda(x) "Incorrect password")))
        
  dispatch)

那么，make-joint可以写为：
(define (make-joint account-name account-pass new-pass)
  (if (account-name 'checkpwd account-pass)
      (lambda (passwd m)
      (if (eq? new-pass passwd)
          (account-name account-pass m)
           (error "Incorrect password")))
      (error
         "Incorrect password to the original account")))

首先是检查原始帐户的密码是否正确，正确返回匿名函数（两个参数passwd m），此匿名函数检查密码以及调用原始帐户操作；如果不正确就提示消息。
测试一下：
> (define dennis-acc (make-account2 100 '123))
> (define zane-acc (make-joint dennis-acc '123 'abc))
> ((dennis-acc '123 'withdraw) 10)
90
>  ((zane-acc 'abc 'withdraw) 10)
80
> 

习题3.8，这一题比较简单了，在内部维持一个状态变量即可
(define f
  (let ((y 1))
    (lambda(x) (set! y (* x y)) y)))
测试可知，在(f 1) (f 0)执行的顺序不同时，返回的值不同。

评论

1 楼 javaeye000 2007-08-05  

请问你rand-update如何实现的？