Pearls of Functional Algorithm Design

Pearls of Functional Algorithm Design

2010 | 291 Pages | ISBN: 0521513383 | PDF | 2 MB

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.


[Fast Download] Pearls of Functional Algorithm Design

Related eBooks:
Three Dimensional System Integration: IC Stacking Process and Design
Fun and Software: Exploring Pleasure, Paradox and Pain in Computing
Cybersecurity Blue Team Toolkit
Logic Programming with Prolog
The calculus of computation: Decision procedures with applications to verification
Analytic SQL in SQL Server 2014/2016
Running Linux
Knight's Microsoft Business Intelligence 24-Hour Trainer
Computational Aspects of an Order-Sorted Logic with Term Declarations
Information Security Risk Analysis, 3d edition
macOS Mojave: The Missing Manual: The book that should have been in the box
Measuring Organizational Information Systems Success: New Technologies and Practices
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.