上一篇博文对应的是书中的第一章的一二两节，我们已经大致的有了一种构造的感觉不是么。书中展示了很多有趣的句法（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

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