习题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)执行的顺序不同时,返回的值不同.
文章转自庄周梦蝶 ,原文发布时间 2007-08-01
相关资源:敏捷开发V1.0.pptx