【SICP归纳】2 高阶函数和数据抽象

版权声明:转载请联系本人,感谢配合!本站地址:http://blog.csdn.net/nomasp https://blog.csdn.net/NoMasp/article/details/44260093

上一篇博文对应的是书中的第一章的一二两节,我们已经大致的有了一种构造的感觉不是么。书中展示了很多有趣的句法(syntax)。现在我们要让思想进一步的抽象,写这篇博客的时候并未学完整本书,更不敢说对书中的内容有一个多深的领悟。但我一路学习过来,就感觉书中的示例越来越抽象,作者所引导我们的也是如此方向。博文也会持续更新下去,伴随着我的理解。

在这个专栏的【Scheme归纳】4 高阶函数中已经初步介绍了什么是高阶函数(Higher-order Procedures)。而在这一节中,将用高阶函数来做抽象。书中分了许多小节来逐一介绍这一主题。在“过程作为参数”中,书中用了许许多多的相似示例来概括起一个抽象的操作。lambda用和define同样的方式来创建过程,唯一的区别仅仅是不为过程提供参数。这就是函数式编程和命令式编程的最大区别了,在C++等语言中我们总是会定义许多的变量和常量,而在Scheme中一路下来几乎都是函数。函数与函数之间也不再是用变量等做参数,再用一个return来返回,它可以用过程来作为参数,甚至过程还可以作为返回值。

在第38页前后的各种求和中,这些程序几乎是相同的,没有太多的区别。它们都具有相同条件,相同的谓词和相同的结果,并且这些代换方式都是如此相似。如果现在仔细回想,我们至今为止已经学习了哪些语法,哪些组合,哪些抽象,还有没有学到的常见模式。作者说,计算机应让人快乐,而不是人让计算机快乐。所以人们会创建让自己更容易编写程序、更易于阅读的编程语言,因此就引进了一切抽象的东西。

至今为止一直谈论的过程,仅仅是在提醒我们关于这个语言的框架,我们用原始的东西来构建一个系统。这其中用到了一些组合的手段,通过它把原始的东西做成复杂的事物;用抽象技术来利用复杂的事物以及给它们命名,这就像是搭积木一般。还可以用高阶函数来实现许多常规的方法。就像是书中第45页的不动点搜寻和牛顿法。通过组合起这些抽象将获得无穷的力量。

而这一切的关键思想就是去建立一个分层次的系统。因此举例来说,当我们在写一个求平方根的程序时,程序的某一部分就是用了一个名为good-enough的函数,而在那之间则存在着抽象。作者举例说,如果我们和George一起写一个求平方根的程序,而George的工作就是写good-enough。而我们并不用去关心这个函数是如何进行的。甚至即是George在这里函数里用了Harry写的抽象过程,我们也不用去关心甚至不用知道有这样一个过程或者Harry是不是存在。因为good-enough的细节是由George来完成的。在一个大型系统中,我们许多许多级别的抽象屏障(书中第58页讲解了抽象屏障),而我们要做的就是一遍一遍的去实施程序。

关于数据方面的问题,我们首先要将源数据放在一起组成比较复杂的复合数据,当我们在一组简单数据之上建立复合数据的时候要用到抽象的方法。其次,还要建立系统的层次。书中有有理数的例子来介绍了这一点。

在Lisp上有一个操作符叫做cons,其有2个参数x和y,然后返回一个序对pair。所谓的构造就是通过cons操作,在后面的学习中将会发现,无论是构造队列,甚至是构造流都是通过cons操作。书名中的Structure为名词构造,结构,动词的构造是construct。

上篇博文在控制复杂性部分用了级联一次,第79页就介绍了模块化结构。在真实的信号处理应用中,设计者通常总是从标准化的过滤器和变化装置族中选出一些东西,通过级联的方式构造出各种系统。所谓级联,就是将2种以上的设备、信号等通过某种方式连接到一起。可能我们暂时在实际中还用不到它,但无论如何,数据抽象都是一个强大的技术。

对于数据抽象计数,我最为惊叹的便是Church计数。也即是练习2.6,通过lambda演变就可以创建出所有的自然数和加减乘除。当然了,我的理解有限,不过我相信加减乘除之外的操作也是可以实现的。这道题也有一篇博文来解答:【SICP练习】47 练习2.6



感谢访问,希望对您有所帮助。 欢迎关注或收藏、评论或点赞。


为使本文得到斧正和提问,转载请注明出处:
http://blog.csdn.net/nomasp


没有更多推荐了,返回首页