You don't need Category Theory to tell you that there is a duality between structs and unions, any C programmer could tell you that.
Mind you I spent a lot of time working with Haskell in an academic environment and never understood the first thing about category theory. Especially those bloody diagrams that were supposed to be proofs.
It is entirely possible to understand functional programming and abstraction without understanding any category theory...
Mind you I spent a lot of time working with Haskell in an academic environment and never understood the first thing about category theory. Especially those bloody diagrams that were supposed to be proofs.
It is entirely possible to understand functional programming and abstraction without understanding any category theory...