2 ms·
I can explain the ideas behind composition in 5 minutes using good old (Haskell) types. No Category Theory needed or wanted.
by jnash 4y ago
I can explain the ideas behind composition in 5 minutes using good old (Haskell) types. No Category Theory needed or wanted.
- klysm 4y agoAren’t a lot of Haskell types identical to category theory concepts? Monad? The awesome thing about category theory is that so many things are _examples of_ category theoretic concepts. I’m sure the types you would use would be too. Then you can jump over to a different language and see the same structure. It gives you a universal vocabulary for how things compose and interact. That’s the powerful part.