Haskell: The Craft of Functional Programming

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

Автор, Саймон Томпсон, использует практические примеры, включая работу с изображениями и библиотечными базами данных, чтобы проиллюстрировать ключевые идеи. Особое внимание уделяется проектированию программ, тестированию и доказательству корректности кода.

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