Функциональное проектирование алгоритмов на Haskell: 30 задач

Книга Ричарда Бёрда представляет принципиально новый подход к проектированию алгоритмов — проектирование посредством формального вывода. Основное содержание разделено на 30 коротких глав (жемчужин), в каждой из которых решается конкретная программистская задача.

Задачи происходят из разнообразных источников: игры и головоломки, комбинаторные построения, традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи на языке Haskell, а решение формально вычисляется из исходной постановки посредством обращения к законам функционального программирования.

Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов. Книга помогает развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам.