Category Theory for Programmers

Livro digital

Título:
Category Theory for Programmers

Autor:
Bartosz Milewski

Categoria:
Tecnologia > Geral

Doador:
Raffaello D. N.

Sinopse:
Composition is not just a programming technique — it is the central idea of an entire branch of mathematics. Category Theory for Programmers starts there, with Chapter 1 literally titled "Category: The Essence of Composition," and builds from arrows and objects all the way through functors, natural transformations, monads, Kleisli categories, adjunctions, and F-algebras across 498 pages. The book covers two major tracks in parallel: the abstract mathematical theory and its direct translation to Haskell (and, in places, C++ and Scala). Readers encounter the Maybe functor, the Reader functor, the Curry-Howard isomorphism, Cartesian closed categories, and exponentials of algebraic data types — each introduced first as a mathematical object, then grounded in code. Every chapter ends with challenges that force the reader to prove or implement what they just read. Originally a series of blog posts by Bartosz Milewski, one of the most respected voices in functional programming, this compiled edition (assembled by Igal Tabachnik) is the definitive free resource for programmers who want to understand why Haskell looks the way it does, why monads keep showing up everywhere, and what the mathematicians were actually thinking when they invented all of this. Dense, rewarding, and honest about its difficulty.