Category Theory for Programmers by
@BartoszMilewski
is now complete, and available for purchase in hardcover!
396 pages, 6"x9", full color print!
As always, the PDF is free, and available online!
Hardcover:
PDF:
I am thrilled to announce that the Scala edition of "Category Theory for Programmers" by Bartosz Milewski is now available as a paperback!
Huge thanks to the many contributors who made this possible!
Buy it here:
PDF:
A new version of Category Theory for Programmers PDF by
@BartoszMilewski
is now available!
What's new?
* Syntax highlighting!
* Scala edition (huge thanks to
@impurepics
!)
* Many more fixes (see for details)
Download here:
The more I look into Rust, the more it seems to me that maybe, as long as your type system and compiler are strict enough, functional programming matters less.
"OO patterns are codified workarounds for missing language features, namely higher-order functions, sum types, and higher-kinded polymorphism (that allows for the expression of recursion schemes)."
This took me years to realize. I never want to use a language without those again
As promised: my view on language-oriented programming and sort-of book review of Clean Architecture. I discovered some interesting things, and, as a bonus, finally found a good place to tell my horror story.
original post:
Proud to announce the release candidate of Category Theory for Programmers by
@BartoszMilewski
PDF! With tons of fixes and improvements to how images look, we're inching closer to the print version to be available soon!
Please report any issues you find!
Non-Russian watching a Soviet dystopian sci-fi "Kin Dza Dza"
"Can't help but think the two "Ku" guys look like John Cleese and Steve Wozniak, and that just makes it weirder."
Damn. Now I can't unsee :)
First (pre)release of the
#Scala
edition of Category Theory for Programmers is now available!
Huge thanks to the multi-talented
@impurepics
for providing the Scala translation!
Please report any issues (formatting, code) you may find!
If I had to start over with FP, coming from C# or Java, I'd hammer ADTs and pattern matching until it bled. Thinking in terms of sum types and separating data from behavior is so much more important to grok than monads. Monads naturally come later.
Did you know? Accessor methods for
#Java14
's Record classes don't start with the word "get"! IntelliJ IDEA 2020.1 does the right thing when generating "getters" for record classes, in case you want to add any logic to the accessors.
#TheDriveToDevelop