Для тех, кто не читает лямбда-планету:
Издательство ДМК Пресс выпустило перевод книги Ричарда Бёрда «Жемчужины проектирования алгоритмов: функциональный подход»
Автор, пользуясь формальными рассуждениями, находит эффективные с алгоритмической точки зрения решения различных задач, выражая их на языке Haskell. Книгу можно порекомендовать всем, кто интересуется функциональным программированием, хотя она вряд ли будет доступна начинающим. Требуется некоторая зрелость в восприятии математических формализмов.
http://ru-lambda.livejournal.com/140479.html
http://www.dmk-press.ru/catalog/computer/programming/978-5-94074-867-0/