sicp

SICP学习笔记（1.2.1 ~ 1.2.2） 周银辉 1， 递归过程 和 递归计算过程 在学习SICP前我还没注意过有这样的一个区分，因为我们始终停留在语法表面上的“递归过程（recursive procedure）”，而没有去理解其实质是否是“递归计算过程（recursive process）”。 递归过程：从语法书写层面上而言的，在过程的定义中，其直接或间接地引用该过程本身。 比如 F{F}或者 F{G{F}} 递归计算过程：从实际运算层面上而言的，一个在语法上按照递归过程书写的函数其在运算时可能是按照递归的方式也可能是按照迭代的方式进行的。这取决于解释器或编译器本身是否有对“递归”进行优化，比如Scheme解释器是“严格尾递归”的, 而C#之类的,即便在语法形式上是"尾递归"的,但其仍然不能被编译成迭代计算过程,当然,你可以使用for,while等. 要检测出一个递归过程在计算时到底是按照递归方式还是按照迭代方式进行的，非常容易，只要将其进行深度递归或无限次递归，如果Stack Overflow了，那么是按照递归方式计算的，仅仅是一个死循环似的不停计算但没有栈溢出，那么是按照迭代方式计算的。一般而言函数式编程语言（Scheme，Haskell等）， 会按照迭代方式进行计算；命令式编程语言（C++，C#，Java等）会按照递归方式进行计算。 2，迭代计算过程 和 递归计算过程

大概不少programmer都看过《黑客与画家》，作者用了整整一章的篇幅讨论Lisp的强大。我自然就会手痒痒。 几个月前，几天内攻城略地搞定了Python，用的方法便是用Py重写之前开发的类库，这样就能很快熟悉语法，培养语感。喜上眉梢的我，也尝试将同样的策略用在Lisp上，我开始查看它的语法和函数，比如如何定义类和函数，如何赋值等等。 但我慢慢发现，Lisp几乎都不需要学语法，就是括号和几个基本过程，无非就是lambda, define, let,cons,car,cdr等等。虽然语法很快就学完了，但却很难用它写出以前Python或C#风格的命令式代码。连赋值都变得如此诡异，而且有数不清的方言，定义类时，每种方言都不一样！函数名都超长，变量甚至会用问号感叹号等平时根本不敢想的符号。 在尝试写Lisp一天之后，我无奈的放弃了，它的思路和我之前所有的观念都很不相同! 后来我看了《计算机程序的构造与解释》(SICP). 这本书名气显然没有《编程珠玑》甚至《编程之美》名气大。但它的目录很对我的胃口，流模式，惰性求值，元语言抽象，听着是不是就很有逼格呢？于是我迫不及待的踏上这片土地，一边看一边做习题。 之后发生的事情超出了我的想象，这仅仅是一本MIT的大一新生的入门课程，其思维深度，习题难度和广度都超过了我的想象。怪不得国外有那么多大神，因为人家看过了这样牛逼的教材！它的函数求导和积分的方法