《程序原本》作为电子书首发已经一个月了(下载附后),它到底是一本怎么样的书呢?我想站在我自己的角度对它做一些阐述,或是有利于对它的理解与传播的。
本电子书可自由下载和传播。
什么是“原本”
书名取自于《几何原本(Euclid’s Elements)》,因此这个“原本”,其实原意应从Elements来找,一般来说理解成“不可或缺的、核心的要素,或元素”就好了。
《程序原本》确实就是想从这个角度来阐述“程序”这个主题。这本书从数、算以及抽象的源起谈起,从它们之间的关系,以及计算范式的定义谈起,把“计算机程序(或程序计算)”整件事的骨架抽离出来。然后再谈到在这个骨架之外来描述它的语言——计算机程序设计语言的方方面面。
这是这本书的前面部分。坦率地说,这部分并没有什么“新”东西。因为这些认识其实一早都有了,先哲大贤们已经论述得很清楚了,而我只是做了个引线人,把这些东西串起来并摆成了一个角度以便于大家观察罢了。
我在这个观察之外提出的问题是:“程序”是如何演进的?如今你所见的种种语言,以及由这些种种语言所得的种种“程序”之间的关系是如何的?