Читать онлайн «Жемчужины проектирования алгоритмов. Функциональный подход. С примерами на языке Haskell»

функциональное программирование РичЭрД БёрД Жемчужины проектирования алгоритмов Функциональный подход С примерами на языке Haskell WI V . вэдатедьство  Ричард Бёрд Ж емчуж ины проектирования алгоритмов: функциональный подход йрг Москва, 2013 Pearls of Functional Algorithm Design Richard Bird University o f Oxford ЩC a m b r i d g e ^ ® U N IV E R S IT Y PRESS Ж емчужины проектирования алгоритмов: функциональный подход с примерами на языке Haskell Ричард Бёрд Оксфордский университет Перевод с английского В. Н. Брагилевского и А . М. Пеленицына Москва, 2013 Pearls of F\inctional Algorithm Design Richard Bird University o f Oxford p C a m b rid g e U N IV E R S IT Y PRESS Ж емчужины проектирования алгоритмов: функциональный подход с примерами на языке Haskell Ричард Бёрд Оксфордский университет Перевод с английского В. Н. Брагилевского и А . М. Пеленицына Москва, 2013  УДК 0 0 4 . 0 2 1 + 0 0 4 . 4 2 1 ББК 32. 97 3 -01 8 Б11 Б11 Р ичард Б ёрд Ж ем ч уж и н ы проектирования алгоритмов: ф ункциональный подход / Пер. с англ. В. Н. Брагилевского и А. М . Пеленицына. - М . ; Д М К Пресс, 2013. — 330 с. : ил. I S B N 9 7 8 -5-9 4 07 4 -8 6 7-0 В этой книге Ричард Бёрд представляет принципиально новый под­ ход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 корот­ ких глав, называемых жемчужинами, в каждой из которых решается кон­ кретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и голово­ ломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируелюй на функциональном языке пpoгpaм^и^poвaния Haskell, чрезвычайно Nmm,- ном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое реше­ ние формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. Издание предназначено д ля программистов, увлекающихся функци­ ональным програмкшрованием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования aлгopит^юв, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам. У Д К 004. 021+004. 421 Б Б К 32. 973-018 Все права защищены.