电子书《程序原本》小述

《程序原本》是一本探讨程序设计核心原理的电子书,旨在阐述计算的"原本",即程序设计的基础元素。作者通过严谨的推论和论证,解释了函数式计算范式,揭示了程序设计语言间的内在联系。本书不仅是架构师的入门之径,还引导读者理解计算系统的不变规律,挑战单一的结构化解题思路。
摘要由CSDN通过智能技术生成

三本电子书

《程序原本》作为电子书首发已经一个月了(下载附后),它到底是一本怎么样的书呢?我想站在我自己的角度对它做一些阐述,或是有利于对它的理解与传播的。

本电子书可自由下载和传播。

什么是“原本”

书名取自于《几何原本(Euclid’s Elements)》,因此这个“原本”,其实原意应从Elements来找,一般来说理解成“不可或缺的、核心的要素,或元素”就好了。

《程序原本》确实就是想从这个角度来阐述“程序”这个主题。这本书从数、算以及抽象的源起谈起,从它们之间的关系,以及计算范式的定义谈起,把“计算机程序(或程序计算)”整件事的骨架抽离出来。然后再谈到在这个骨架之外来描述它的语言——计算机程序设计语言的方方面面。

这是这本书的前面部分。坦率地说,这部分并没有什么“新”东西。因为这些认识其实一早都有了,先哲大贤们已经论述得很清楚了,而我只是做了个引线人,把这些东西串起来并摆成了一个角度以便于大家观察罢了。

我在这个观察之外提出的问题是:“程序”是如何演进的?如今你所见的种种语言,以及由这些种种语言所得的种种“程序”之间的关系是如何的?

怎么来讲述这些“

《编程原本》提供了有关编程的一种与众不同的理解。其主旨是,实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如C++)中实现的算法如何在最一般的数学背景中操作。例如,如何定义快速求幂算法,使之能使用任何可交换运算。使用抽象算法将能得到更高效、可靠、安全和经济的软件。 这不是一本很容易读的书,它也不是能提升你的编程技能的秘诀和技巧汇编。本书的价值是更根本性的,其终极目标是提升你对编程的洞察力。要想从中大获裨益,你需要从头到尾认真学习:阅读代码,证明引理,完成练习。到结束之时,你将看到如何把这里讨论的演绎方法应用到你的程序中,保证你做出的软件部件能一起工作,并表现出它们所应该表现的行为。 书中给出的算法和需求针对某些被操作的类型。有关这些描述的代码(也可以通过Web得到)采用C++的一个小子集书写,这样做是为了让所有有经验的程序员都能理解。这个小子集可以看做一种特殊语言,是由Sean Parent和Bjarne Stroustrup一起设计的。 无论你是一位软件开发者,还是其他以编程作为一项重要活动的专业人员,或者是一名在校的学生,你都会逐渐理解本书的经验丰富的作者多年来一直在教授和阐释的道理:数学对于编程是绝好的东西,理论对于实际是绝好的东西。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值