《程序原本》是一本探讨程序设计核心原理的电子书，旨在阐述计算的"原本"，即程序设计的基础元素。作者通过严谨的推论和论证，解释了函数式计算范式，揭示了程序设计语言间的内在联系。本书不仅是架构师的入门之径，还引导读者理解计算系统的不变规律，挑战单一的结构化解题思路。
《程序原本》作为电子书首发已经一个月了（下载附后），它到底是一本怎么样的书呢？我想站在我自己的角度对它做一些阐述，或是有利于对它的理解与传播的。
本电子书可自由下载和传播。
什么是“原本”
书名取自于《几何原本（Euclid’s Elements）》，因此这个“原本”，其实原意应从Elements来找，一般来说理解成“不可或缺的、核心的要素，或元素”就好了。
《程序原本》确实就是想从这个角度来阐述“程序”这个主题。这本书从数、算以及抽象的源起谈起，从它们之间的关系，以及计算范式的定义谈起，把“计算机程序（或程序计算）”整件事的骨架抽离出来。然后再谈到在这个骨架之外来描述它的语言——计算机程序设计语言的方方面面。
这是这本书的前面部分。坦率地说，这部分并没有什么“新”东西。因为这些认识其实一早都有了，先哲大贤们已经论述得很清楚了，而我只是做了个引线人，把这些东西串起来并摆成了一个角度以便于大家观察罢了。
我在这个观察之外提出的问题是：“程序”是如何演进的？如今你所见的种种语言，以及由这些种种语言所得的种种“程序”之间的关系是如何的？
怎么来讲述这些“原本”
在书中，我总是试图用非常严谨地推论来提出或论证观点。我已然尽极大可能地来做这件事，并尝试让读者还能“不太费力”地理解它。
《结构程序设计》这本书在“论证”这件事上做得远比我要好得多，然而却更多的使用了数理逻辑。我可能采用的逻辑会略有些不同。比如下面这段：
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
