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 ·  66 ratings  ·  11 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

Community Reviews

Showing 1-30
Average rating 4.29  · 
Rating details
 ·  66 ratings  ·  11 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.
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.
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.
Sergey Homa
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
Борис Кучин
Oct 20, 2018 rated it it was ok
Shelves: computers
* Последние 100 страниц пролистал без всякого понимания, потому что там чего-то совсем сложно всё.
* В целом, почитать про теорию категорий забавно, особенно когда концепции начинают друг на друга наслаиваться, но практической пользы примерно никакой.
* При этом книжка реально требует много думать. Где-то начиная с середины я ещё смотрел видеолекции от автора, но вот к 400 странице перестало хватать даже их. То есть времени нужно вкладывать много (несколько месяцев у меня ушло) и, мне
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.
Apr 22, 2019 rated it liked it
I started reading this book because I've been doing some Haskell development and I wanted to get some more background behind some of the ideas there. I strongly believe that composability should be the number one factor when judging software quality and elegance in most cases, and this book does pick up this argument early which made me even more interested in reading it.

To be honest now that I did I still kind of think this Haskell/CT stuff is a bit too hand-wavy and not that practical in most
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 t
Vaibhav Pujari
Mar 11, 2018 rated it it was amazing
Sep 10, 2019 rated it it was amazing
Shelves: education
I'm not sure this book is useful, and most of the topics there are really hard to understand. Yet, I've never had so much fun reading anything. And that's what is important.

2 -> 10 / 100
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
rated it really liked it
Sep 25, 2017
Andrey Sverdlichenko
rated it it was amazing
Apr 11, 2019
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
rated it it was amazing
Apr 23, 2017
rated it it was amazing
Sep 30, 2019
rated it it was amazing
Mar 15, 2018
rated it it was amazing
Nov 18, 2017
rated it it was amazing
Oct 30, 2019
Daniel McNall
rated it it was amazing
Sep 15, 2019
Peter Us
rated it really liked it
Jan 06, 2019
Vilhelm Ehrenheim
rated it it was amazing
May 27, 2019
rated it it was amazing
Oct 26, 2019
Tim McGilchrist
rated it really liked it
Aug 09, 2019
Ilya Bobyr
rated it really liked it
Nov 01, 2018
« previous 1 3 next »
There are no discussion topics on this book yet. Be the first to start one »

Readers also enjoyed

  • Haskell Programming From First Principles
  • Basic Category Theory for Computer Scientists
  • Type-Driven Development with Idris
  • Functional and Reactive Domain Modeling
  • Pearls of Functional Algorithm Design
  • Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming
  • The Haskell Road to Logic, Maths and Programming
  • REST in Practice: Hypermedia and Systems Architecture
  • JavaScript Allongé: A strong cup of functions, objects, combinators, and decorators
  • An Introduction to Functional Programming Through Lambda Calculus
  • Real-World Functional Programming
  • Haskell: The Craft of Functional Programming
  • Scala in Depth
  • The Leprechauns of Software Engineering
  • Real World Haskell: Code You Can Believe In
  • The Art of Multiprocessor Programming
  • Understanding Computation: From Simple Machines to Impossible Programs
  • Purely Functional Data Structures
See similar books…

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »
“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…