递归
2014-02-24
因为程序中有很多的递归的数据,现实中递归的问题,甚至数学中也有很多递归定义
文章通过scheme去解释递归。这语言通过几个基本的元素(atom, s-expression, add1,sub1==)构建起了整个语言,不得不想起数学从公里到定理,多像。
从开篇都是在用递归+基本元素实现各种在其他语言中需要作为语法元素的函数(想不出好的名字来),然后用严谨的方式证明了递归在scheme中的可行性(这个很精彩,难怪有人说lisp的经典是因为它是数学),最后提出了一个简单的scheme的解释器,或者说计算机就是这么来理解程序的
文章给出了递归的定义,在程序中的抽象,证明了程序中抽象的可行性