博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
【SICP练习】47 练习2.6
阅读量:7104 次
发布时间:2019-06-28

本文共 669 字,大约阅读时间需要 2 分钟。

练习2.6

如果这道题还没有做的请务必要先自己思考并检验。如果没有能够求出来,也可以在看完我推导的one之后自己再来推导two

一开始我也不懂题目中的两个式子是什么意思,甚至连怎么用都不知道。但我猜测到是不是可以用这两个式子来构造出one,以及two,还有后面的无数多个。既然有了想法,那么就开工吧。我把在Edwin中写的截图下来,因为Edwin会自动缩进比较直观,比word好用些。

同样的,two可以用(add-1 one)来求出。以下依旧是截图咯。

不知道大家能不能由此看出博主的操作系统呢?

lambda是不是很有意思呢?我们先不急着求题目剩余的部分也就是加法过程的定义,还是先回味一下好吧,哈哈。相信大家求出one的时候已经猜出了two,求出了two的时候就几乎可以肯定threefourfive了。three如下。也就通过不断的嵌套f

(define three

  (lambda (f)

     (lambda (x)

        (f (f (f x))))))

因此我们相信加法,比如4+5,就是将前者的4f和后者的5f累加成嵌套的9f。因此我们将其表示出来。

(define +

   (lambda (m)

      (lambda (n)

         (lambda (f)

             (lambda (x)

                       (m f( n f x)))))))

闲的无聊就来写写”+“的展开式好了。



版权声明:本文为 NoMasp柯于旺 原创文章,如需转载请联系本人。

转载于:https://www.cnblogs.com/NoMasp/p/4786172.html

你可能感兴趣的文章
测试工作中的技能储备
查看>>
保护个人信息不力当用法治“长记性”
查看>>
客服中心运营管理之“化繁为简”
查看>>
迅雷回应用户数据被拖库致密码泄露:恶意造谣
查看>>
Citrix备战应用程序发布软件桥 引领运营商进入NFV时代
查看>>
睡觉总是流口水?今晚就试试这些解决方法吧
查看>>
OA系统选型:明确需求是捷径
查看>>
第三季度 46% 的 DDoS 攻击都来自 Linux 计算机
查看>>
《TCP/IP路由技术(第一卷)(第二版)》一1.12 故障诊断练习
查看>>
Team 文档协作功能重磅推出,你讨厌写文档吗?
查看>>
《编写高质量代码:改善c程序代码的125个建议》——建议15-1:避免“=”与“==”混淆...
查看>>
《程序员的修炼——从优秀到卓越》一一1.9 博伊德迭代法则
查看>>
你值得了解的 10 个有趣的 Linux 命令行小技巧
查看>>
女程序员做了个梦,各路大神惊现神级评论
查看>>
安全公司爆料:多家国产品牌手机被预装间谍应用!
查看>>
《Total Commander:万能文件管理器》——第5.2节.传统的压缩
查看>>
使用 Arduino 开发灌溉系统
查看>>
《R语言数据挖掘:实用项目解析》——1.13 缺失值(NA)的处理
查看>>
支付宝放大招 钻石会员免费提现额度达100万 | 附快速升级攻略
查看>>
微软声明: 没放弃 Windows 手机
查看>>