В книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из которых абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. Издание предназначено для программистов, увлекающихся функциональным...
V knige Richard Bjord predstavljaet printsipialno novyj podkhod k proektirovaniju algoritmov, a imenno proektirovanie posredstvom formalnogo vyvoda. Osnovnoe soderzhanie knigi razdeleno na 30 korotkikh glav, nazyvaemykh zhemchuzhinami, v kazhdoj iz kotorykh reshaetsja konkretnaja programmistskaja zadacha. Eti zadachi, nekotorye iz kotorykh absoljutno novye, proiskhodjat iz takikh raznoobraznykh istochnikov, kak igry i golovolomki, zakhvatyvajuschie kombinatornye postroenija i bolee traditsionnye algoritmy szhatija dannykh i sopostavlenija strok. Kazhdaja zhemchuzhina nachinaetsja s postanovki zadachi, formuliruemoj na funktsionalnom jazyke programmirovanija Haskell, chrezvychajno moschnom i v to zhe vremja lakonichnom, pozvoljajuschem legko i prosto vyrazhat algoritmicheskie idei. Novshestvo knigi sostoit v tom, chto kazhdoe reshenie formalno vychisljaetsja iz iskhodnoj postanovki zadachi posredstvom obraschenija k zakonam funktsionalnogo programmirovanija. Izdanie prednaznacheno dlja programmistov, uvlekajuschikhsja funktsionalnym...
