书籍介绍
这是一本会让人在'买'与'后悔'之间反复横跳的书。冲着'编程'二字而来的人，多半会略感失落——它并不教你写代码的技巧，也不提供可直接套用的工程范式，而是执拗地把编程的每一个常见概念，重新安放在抽象代数的地基上：递归落在Lambda演算与Y组合子之上，类型、多态、异常被范畴论重新收编，伽罗瓦理论成了抽象思维的明珠。对数学有好感的读者会如获至宝，认为它揭示了'编程本质上是和数学同构的'这一漂亮命题；而期待思维提升的程序员，则可能觉得数学与编程之间仍隔着一层。它适合那些愿意为'为什么'付出代价、不满足于'怎么用'的人，也明确劝退了畏惧公式的读者。
作者简介
刘新宇，亚马逊中国研发中心研发经理，负责分布式仓储物流系统的开发。1999年和2002年在清华大学自动化系分别获得学士和硕士学位。长期专注于函数式基础算法，著有《算法新解》。
精彩摘录
- "定理3.3.1. 对于每个Q[x1,...,xn]的根式扩域E，都存在一个更大的根式扩域E ⊆ E*，使得所有x1,...,xn的置换都有自同构σ。 至此，我们已经把扩域和自同构联系了起来。如果把所有的自同构做成一个集合，这些自同构间的二元运算是复合（composite）变换，恒等变换是单位元，我们就得到了一个群。这个群被称作伽罗瓦群。"
用户评论
略失望。冲着编程两个字来的，但是实际上没有对编程有什么特别的思维上的提升，基本是讲了数学再讲讲编程实现。如果只看数学的科普还是不错的。
求书
收藏