Although I’ve seen numerous examples of hubris by creating accidental complexity, I actually think category theory is an exercise in minimalism. But the realization only happens when understanding the complexity of ‘normal’ imperative and object oriented programming.

The problem with category theory, as I see it, happens due to a mismatch with our mode of creating. We tend to converge in our solutions from chaos to order. Formal systems don’t provide space to be chaotic in. We need to be right the first time.

We need languages and IDEs that will help us find abstractions. Static analysis saying: “this thing here is like all those other things if only you see it like so. Perhaps you want to structure it like those other things as well?”