PearlsofFunctionalAlgorithmDesign

Richard Bird proposes a revolutionary method for designing algorithms, known as “design by calculation.” In this book, Bird presents 30 brief chapters, each focusing on a specific programming problem taken from an eclectic range of sources, including puzzles and games, complex combinatorial tasks, and well-trodden areas like data compression and string matching. Each chapter commences with the problem statement, along with various examples and step-by-step calculations, and concludes with a concise explanation of the solution.

作者简介

RichardBirdtakesaradicallynewapproachtoalgorithmdesign,namely,designbycalculation.These30shortchapterseachdealwithaparticularprogrammingproblemdrawnfromsourcesasdiverseasgamesandpuzzles,intriguingcombinatorialtasks,andmorefamiliarareassuchasdatacompressionandstringmatching.EachpearlstartswiththestatementoftheproblemexpressedusingthefunctionalprogramminglanguageHaskell,apowerfulyetsuccinctlanguageforcapturingalgorithmicideasclearlyandsimply.ThenovelaspectofthebookisthateachsolutioniscalculatedfromaninitialformulationoftheprobleminHaskellbyappealingtothelawsoffunctionalprogramming.PearlsofFunctionalAlgorithmDesignwillappealtotheaspiringfunctionalprogrammer,studentsandteachersinterestedintheprinciplesofalgorithmdesign,andanyoneseekingtomasterthetechniquesofreasoningaboutprogramsinanequationalstyle.