Year of release: 2013Author: Richard BirdTranslation: V. Bragilevsky, A. PelenitsynEditor: D. Movchan Availability of illustrations: b/w illustrationsGenre: TextbookPublisher: DMK PressSeries/Cycle: Functional programmingNumber in series/cycle: 1ISBN: 978-5-94074 -867-0, 978-0-521-51338-8Format: PDFQuality: Scanned pagesNumber of pages: 330Scanned by: me

Description: In this book, the author presents a fundamentally new approach to the design of algorithms, namely design through formal output. The main content of the book is divided into 30 short chapters, called pearls, each of which solves a specific programming problem. These problems, some of them completely new, come from sources as diverse as games and puzzles, exciting combinatorial constructions, and more traditional data compression and string matching algorithms. Each gem begins with a problem statement, formulated in Haskell, a functional programming language that is extremely powerful yet concise, allowing algorithmic ideas to be expressed easily and simply. The novelty of the book is that each solution is formally calculated from the original formulation of the problem by appealing to the laws of functional programming. The publication is intended for programmers interested in functional programming, students, graduate students and teachers interested in the principles of algorithm design, as well as anyone who wants to acquire and develop the skills of reasoning in equational style in relation to programs and algorithms.

Additional. information: The author, using formal reasoning, finds algorithmically effective solutions to various problems, expressing them in Haskell. The book can be recommended to anyone interested in functional programming, although it is unlikely to be accessible to beginners. Some maturity in understanding mathematical formalisms is required.