《松本行弘的程序世界》浅读笔记

虽然目前对ruby不感兴趣，但这本书还是相当值得一读的。里面很多编程思想，和语言本身没太大的关系，但读来收获颇丰。众多面向对象语言的编程思想虽不尽一致，但是无论那种面向对象编程语言都具有以下的共同功能：

• 不需要知道内部的详细处理就可以进行操作（封装，数据抽象）
• 根据不同的数据类型自动选择适当的方法（多态性）

对象是现实世界中具体物体的反应是一个很大的误解。如果把面向对象编程当作是对结构化编程的扩展，那么对象是否是显示世界中具体物体的反应就不重要了。结构化编程通过整理数据流，提高了程序的生产效率和可维护性。同样，面向对象编程通过对数据结构的整理，提高了程序的生产效率和可维护性。

编程语言的数据类型分为两类，一类是起源于FORTRAN的指定了变量或算式数据类型的静态类型，另一类是起源于Lisp的动态类型。 静态类型最大的优点是在编译时能够发现类型不匹配的错误。另外，程序中如果明确指定了数据类型，那么编译时可以用到的信息就很多。利用这种信息可以在编译时对程序做优化，提高程序执行速度。 动态类型很简洁，得益于简洁，我们在编写程序的时候就不用考虑数据类型这些无关本质的部分了，而是可以集中于程序处理的本质部分。（从硬件角度，计算机可以处理的类型只有二进制。在汇编中，数据类型都是整数。而高级语言，是在此基础上的一层层抽象而已。备注：只处理二进制的说法只是一个概念。实际上CPU可以直接处理浮点小数等整数以外的类型）

动态类型程序执行时要做类型检查，而且动态类型的编程语言大多是边解释源代码（转换成内部形式）边执行；静态类型的编程语言大都通过编译把程序源代码转换成可以直接执行的形式。这种编译型处理和解释型处理的区别也是影响程序执行速度的原因之一。

表达动态类型灵活性的概念是Duck Typing，源自西方格言： If it walks like a duck and quacks like a duck, it must be a duck（走起路来像鸭子，叫起来像鸭子，那么它就是鸭子）。从这里可以导出这样的规则：如果行为像鸭子，那么不管它是什么，都把它看作鸭子。根本不考虑一个对象属于什么类，只关心它有什么样的行为（它有哪些方法），这就是Duck Typing。

过程化编程方式编写的程序是在改变变量值的同时进行计算的，因此需要一直注意这个变量的值现在是什么，并据此来预想计算过程；函数式编程方式并不改变变量的值，不包含状态或者动作信息，仅仅是对想做什么加以描述。这种不是描述动作，而是描述性质的编程方法称为声明式编程。声明式编程是函数式编程的一大优点。如果看不懂上面的话，可以结合下面求阶乘的两种方式，再品读一下：

{%highlight ruby%} def fact(n) fct = 1 while n > 1 fct = fct * n n = n - 1 end fct end

def fact(n) if n == 1 1 else n * fact(n - 1) end end {%endhighlight%}

可以看到，其实第二种方式就是在描述阶乘的定义。

Lisp的很大特征在于其S式记法。S式无与伦比的优点是它的彻底统一性。也就是说，对Lisp而言，不管什么都可以统一成 (函数 参数)