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)执行的顺序不同时,返回的值不同.
文章转自庄周梦蝶 ,原文发布时间 2007-08-01
相关文章
- 在 Go 里用 CGO?这 7 个问题你要关注!
- 9款优秀的去中心化通讯软件 Matrix 的客户端
- 求职数据分析,项目经验该怎么写
- 在OKR中,我看到了数据驱动业务的未来
- 火山引擎云原生大数据在金融行业的实践
- OpenHarmony富设备移植指南(二)—从postmarketOS获取移植资源
- 《数据成熟度指数》报告:64%的企业领袖认为大多数员工“不懂数据”
- OpenHarmony 小型系统兼容性测试指南
- 肯睿中国(Cloudera):2023年企业数字战略三大趋势预测
- 适用于 Linux 的十大命令行游戏
- GNOME 截图工具的新旧截图方式
- System76 即将推出的 COSMIC 桌面正在酝酿大变化
- 2GB 内存 8GB 存储即可流畅运行,Windows 11 极致精简版系统 Tiny11 发布
- 迎接 ecode:一个即将推出的具有全新图形用户界面框架的现代、轻量级代码编辑器
- loongarch架构介绍(三)—地址翻译
- Go 语言怎么解决编译器错误“err is shadowed during return”?
- 敏捷:可能被开发人员遗忘的部分
- Denodo预测2023年数据管理和分析的未来
- 利用数据推动可持续发展
- 在 Vue3 中实现 React 原生 Hooks(useState、useEffect),深入理解 React Hooks 的