FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World


 Title Category Theory for Programmers
 Author(s) Bartosz Milewski
 Publisher: The University of Texas
 License(s): CC BYSA 4.0
 Hardcover/Paperback N/A
 eBook HTML and PDF
 Language: English
 ISBN10: N/A
 ISBN13: N/A
 Share This:
Book Description
In this book, the author illustrates all major concepts of Category Theory using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power. So a natural temptation would be to say: You must learn Haskell before the bounty of category theory becomes available to you. But that would imply that category theory has no application outside of functional programming and that's simply not true.
So the author provides a lot of C++ examples. Granted, you'll have to overcome some ugly syntax, the patterns might not stand out from the background of verbosity, and you might be forced to do some copy and paste in lieu of higher abstraction, but that's just the lot of a C++ programmer.
"But you're not off the hook as far as Haskell is concerned. You don't have to become a Haskell programmer, but you need it as a language for sketching and documenting ideas to be implemented in C++. That's exactly how I got started with Haskell. I found its terse syntax and powerful type system a great help in understanding and implementing C++ templates, data structures, and algorithms. But since I canâ€™t expect the readers to already know Haskell, I will introduce it slowly and explain everything as I go."
About the Authors N/A
 Category Theory
 Theory of Programming Languages
 Functional Programming
 Compiler Construction
 Computer and Programming Languages
 Category Theory for Programmers (Bartosz Milewski)
 The Mirror Site (1)  PDF
 The Mirror Site (2)  PDF
 An Invitation to Applied Category Theory: Seven Sketches in Compositionality
 Basic Category Theory (Tom Leinster)
 Category Theory in Context (Emily Riehl)
 Category Theory for the Sciences (David I. Spivak)
 Categories, Types, and Structures (Andrea Asperti, et al)
 Type Theory and Functional Programming (Simon Thompson)
 Programming in MartinLof's Type Theory: An Introduction (Bengt Nordstrom, et al)