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