编程原本(Elements of Programming)

英文版。 编程原本(STL之父Alexander Stepanov力作,追溯数学原理,探求编程的本质). 《编程原本》提供了有关编程的一种与众不同的理解。其主旨是，实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。《编程原本》展示了在实际编程语言（如c++）中实现的算法如何在最一般的数学背景中操作。例如，如何定义快速求幂算法，使之能使用任何可交换运算。使用抽象算法将能得到更高效、可靠、安全和经济的软件。 　　这不是一本很容易读的书，它也不是能提升你的编程技能的秘诀和技巧汇编。《编程原本》的价值是更根本性的，其终极目标是提升你对编程的洞察力。要想从中大获裨益，你需要从头到尾认真学习：阅读代码，证明引理，完成练习。到结束之时，你将看到如何把这里讨论的演绎方法应用到你的程序中，保证你做出的软件部件能一起工作，并表现出它们所应该表现的行为。 　　书中给出的算法和需求针对某些被操作的类型。有关这些描述的代码（也可以通过web得到）采用c++的一个小子集书写，这样做是为了让所有有经验的程序员都能理解。这个小子集可以看做一种特殊语言，是由sean parent和bjarne stroustrup一起设计的。