数学与泛型编程

这本书最动人的地方，在于它把'数学为何对编程有用'这件事讲出了来龙去脉。作者没有直接抛出抽象代数的公理，而是从埃及人的乘法、欧几里得的求最大公约数算法讲起，让你亲眼看着一个拥有四千年历史的朴素算法，如何在'保持清晰与高效'的前提下被一步步推广成现代泛型算法。读者反复提到的那种'原来如此'的惊艳感，正源于此：它让你体会到'因为A是B，所以能把A推广到B上'这种抽象，究竟能给代码带来怎样的力量。书中穿插的数史——伽罗瓦的决斗、完美数的'无用'与费马小定理的'有用'——并非闲笔，而是在解释抽象本身的意义。它适合那些不满足于'会用'、想知道'为何如此'的编程者，以及愿意啃一点抽象代数的读者。

Alexander A. Stepanov 从1972年开始编程，1977年由苏联移民美国之后，继续从事编程工作。他编写过操作系统、编程工具、编译器与各种程序库，其对编程基础的研究工作先后得到了通用电气（GE）、纽约理工大学（Polytechnic University）、贝尔实验室（Bell Labs）、惠普（HP）、SGI 及 Adobe 的支持，2009年Amazon 旗下的搜索技术公司 A9.com 开始支持这项工作。1995年他因C++标准模板库的设计，获得了《Dr. Dobb’s Journal》的程序设计杰出贡献奖（Excellence in Programming Award）。 Daniel E. Rose 是一位研究科学家，曾在 Apple、AltaVista、Xigo、Yahoo 及 A9.com 从事管理工作。他广泛地研究搜索技术，关注针对索引压缩的底层算法，以及 Web 搜索中的人机交互等问题。Rose 曾在 Apple 公司带领团队创建了Macintosh 的桌面搜索机制。