Goodreads helps you keep track of books you want to read.
Start by marking “Category Theory for Programmers” as Want to Read:
Category Theory for Programmers
Enlarge cover
Rate this book
Clear rating
Open Preview

Category Theory for Programmers

4.29  ·  Rating details ·  99 ratings  ·  17 reviews
Collected from the series of blog posts starting at:

Hardcover available at:
ebook, v1.0.0, 473 pages
Published October 21st 2018 (first published October 28th 2014)
More Details... Edit Details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Category Theory for Programmers, please sign up.

Be the first to ask a question about Category Theory for Programmers

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

Showing 1-30
Average rating 4.29  · 
Rating details
 ·  99 ratings  ·  17 reviews

More filters
Sort order
Start your review of Category Theory for Programmers
Tim Poston
Dec 28, 2016 rated it it was amazing
Exciting preface!

I learned my category theory fifty years ago, a decade before I wrote even a line of code (it was in FORTRAN 4), and could not have imagined them coming together. I hope the book appears before I drop off the twig.
Ivan Andrus
Nov 24, 2017 rated it liked it
I didn't much like Category Theory in college and I was hoping this book would be able to change my opinion. Unfortunately, it didn't quite work. I did think it was well written and illustrated, but I just don't dig category theory, though I'm not sure why. I would like to think I have some good reason for it, but it's probably just that I'm not quite smart enough to really understand it. ...more
Oct 27, 2018 rated it it was amazing
I didn't complete the entire book (read until applicatives and Monads), used the book in conjunction with Bartosz video series on youtube and found it very useful to understand the theory behind. ...more
Mark Seemann
Nov 11, 2020 rated it really liked it  ·  review of another edition
Shelves: software
This is the third time I go through this material. The first two times I used the blog posts from which this book is compiled. I believe that the first time I got as far as Ends and Coends. At that point, I could no longer make sense of what I was reading.

After a pause, I decided to start anew, but again ground to a halt.

When the book came out, I decided to give it a third chance. I've been reading it systematically for months now, and even trying to do most of the exercises.

Part One is great, b
Eric Bond
Aug 22, 2020 rated it really liked it
This is an ambitious book that dares to tackle concepts usually reserved for graduate Algebra courses and makes them presentable for those with a functional programming background. It succeeds in this goal and also in providing a motivating argument on why the reader should invest in understanding this particular mathematical body of knowledge. The examples motivate the reader to explore and stretch their thinking by showing concepts from functional programming folklore expressed in a pure mathe ...more
Serhii Khoma
Oct 18, 2018 rated it it was amazing
one of the best journeys I had (another one was with "operating systems: design and implementation")

here is my lecture notes
Thor Kamphefner
May 09, 2020 rated it liked it
I strongly wanted to like this book more. The preface is compelling to any programmer or mathematician: a firm grounding in good abstractions are certainly a path to better thinking patterns in programming, and should be seriously pursued.

The troubles with CTFP start almost immediately. The definitions are loose and scattered. Statements of importance are relatively buried in-between code snippets and paragraphs. Mathematician’s gripe, nothing is ever rigorously shown, and therefore the importa
Luca Campobasso
Feb 22, 2020 rated it it was amazing
Shelves: programming
I tried many times to delve into Category theory on the internet, but I gave up pretty soon every single time. With this book, the author managed to
a) present category theory as a Mathematical branch
b) carry that over to the reader/programmer
c) tell them how and why it matters to apply it when architecting the structure of the code.

It is altogether informative and useful.

I'm half way through, and I'm happy I bought a physical copy, because it motivates me more to read it and it's pleasant to
Борис Кучин
Oct 20, 2018 rated it it was ok
Shelves: computers
* Последние 100 страниц пролистал без всякого понимания, потому что там чего-то совсем сложно всё.
* В целом, почитать про теорию категорий забавно, особенно когда концепции начинают друг на друга наслаиваться, но практической пользы примерно никакой.
* При этом книжка реально требует много думать. Где-то начиная с середины я ещё смотрел видеолекции от автора, но вот к 400 странице перестало хватать даже их. То есть времени нужно вкладывать много (несколько месяцев у меня ушло) и, мне кажется, это
Ubaldo P.
Jan 31, 2019 rated it really liked it
I managed to read the entire book with friends in a local bookclub. I really appreciated its contents. Since my academic background is in Computer Science, I found this book very helpful in understand advanced functional programming topics as functors, monoid and monads.
Personally I found final chapters of part three (e.g.: ends and coends, Lawvere theories, Kan extensions) too abstract and overwhelming.

Eventually, my advice here is to approach this book by interleaving the reading with the You
Paul Kuruvilla
Dec 03, 2017 rated it it was ok
The heavy amount of theory made me abandon this 4 chapters in.

I think the book could've done better by focusing on real life software composition problems and how the theory ties into it, rather than just using code to demonstrate the theory.
Jun 10, 2018 rated it it was ok
Although I like programming and category theory, this book didn't do it for me. Too informal for a subject that needs formality. ...more
Ville Saarinen
Jan 23, 2020 rated it really liked it
Even though 50% of the content went over my head and 30% was straddling the "not sure if I understood/I think I did" line, this was a good read. For me, having more practical examples would have likely helped, but I do understand that this is a book that's supposed to be heavy on theory. ...more
Shyam Poovaiah
Nov 08, 2020 rated it it was amazing
Shelves: programming
Anyone into functional programming must read this book.
A good supplemental material would be Bartosz Milewski's Category theory for Programmers playlist on YouTube.
The abstraction of ideas and the way Bartosz presents the philosophies is amazing.
Also, the illustrations are spot on!
Feb 01, 2020 rated it it was amazing
This book has a great approach to explaining Category Theory with examples in Haskell and C++, and probably there's no better way for having a grasp of monads. ...more
Vaibhav Pujari
Mar 11, 2018 rated it it was amazing
Enrique Almeida
Es un tema interesante. La ultima parte me supera.
Subhajit Das
rated it really liked it
Dec 07, 2019
Matt Thornton
rated it it was amazing
Aug 14, 2019
rated it really liked it
Dec 16, 2018
rated it it was ok
Oct 12, 2017
Shaun Zhang
rated it really liked it
Sep 29, 2020
rated it really liked it
Sep 25, 2017
Andrey Sverdlichenko
rated it it was amazing
Apr 11, 2019
Alexander Boland
rated it it was amazing
Aug 04, 2020
rated it it was amazing
Sep 09, 2019
Vahid Mavaji
rated it it was amazing
Dec 01, 2018
Victor Tsvetkov
rated it it was amazing
Sep 23, 2019
molty cheese
rated it liked it
Jul 14, 2020
rated it it was amazing
Apr 23, 2017
« previous 1 3 4 next »
There are no discussion topics on this book yet. Be the first to start one »

Readers also enjoyed

  • Learn You a Haskell for Great Good!
  • Thinking with Types. Type-Level Programming in Haskell
  • How Linux Works: What Every Superuser Should Know
  • Attack of the 50 Foot Blockchain: Bitcoin, Blockchain, Ethereum & Smart Contracts
  • Real World Haskell: Code You Can Believe In
  • Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming
  • Category Theory
  • Optics By Example
  • Harry Potter and the Methods of Rationality
  • The UNIX-Haters Handbook
  • Out of the Tar Pit
  • Data-oriented design: software engineering for limited resources and short schedules
  • The Dictator's Handbook: Why Bad Behavior is Almost Always Good Politics
  • Three Early Plays: A Wife for a Life / The Web / Thirst
  • Domain-Driven Design: Tackling Complexity in the Heart of Software
  • Clean Code: A Handbook of Agile Software Craftsmanship
  • Basic Category Theory
  • On Repeat: How Music Plays the Mind
See similar books…

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

News & Interviews

  Die-hard mystery fans are always on the hunt for their next supremely satisfying whodunit. To help you stock that Want to Read shelf, we asked...
47 likes · 22 comments
“The usual goal in the typing monkeys thought experiment is the production of the complete works of Shakespeare. Having a spell checker and a grammar checker in the loop would drastically increase the odds. The analog of a type checker would go even further by making sure that, once Romeo is declared a human being, he doesn’t sprout leaves or trap photons in his powerful gravitational field.” 1 likes
More quotes…