| >redux, react are heavily influenced by concepts from functional programming Functional programming concepts don't require learning category theory >rust has novel concepts from type theory Type theory isn't category theory. Rust's borrow checker was not inspired by affine types. https://smallcultfollowing.com/babysteps//blog/2012/02/15/re... >data engineering in the cloud age leverages a lot of algebraic concepts to achieve massive data throughput This doesn't requite category theory and those are basic concepts from algebra that you can learn outside of the context of algebra. >We have parser combinators, lambdas, stronger typing, map and flatmap These don't require category theory either. |
What does that give you? For me, I think it gives me an easier way to see common abstractions across different problems I work on.
I am at the beginning of my CT journey itself, but a layman's understanding of monads, functors and applicatives gets me really far writing pretty much the same code when i do bare-metal embedded or frontend javascript. The point is not that I couldn't write bare-metal code or frontend code without, is that I am much quicker seeing "my javascript promises are like a monad" and "my coroutines are like a monad" and being able to shrink my cognitive load.