Pearls of Functional Algorithm Design
Pearls of Functional Algorithm Design
复制标题
函数式算法设计的精华
DOI：
10.5860/choice.48-6951
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
J. Gibbons
中科院分区：
文献类型：
--
作者：
J. Gibbons
Richard Bird采用了一种全新的算法设计方法，即通过计算进行设计。这30个简短的章节中，每个章节都涉及一个特定的编程问题，这些问题来自不同的来源，如游戏和谜题，有趣的组合任务，以及更熟悉的领域，如数据压缩和字符串匹配。每颗珍珠都以使用函数式编程语言Haskell表达的问题陈述开始，Haskell是一种强大而简洁的语言，可以清晰而简单地捕捉算法思想。这本书的新颖之处在于，每一个解决方案都是从Haskell中的问题的初始公式中计算出来的，并诉诸于函数式编程的法则。函数式算法设计的珍珠将吸引有抱负的函数式程序员，对算法设计原理感兴趣的学生和教师，以及任何寻求掌握方程式风格程序推理技术的人。
Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style.