“The essential virtue of category theory is as a discipline for making definitions, and making definitions is the programmer’s main task in life.”
From Computational Category Theory
“The essential virtue of category theory is as a discipline for making definitions, and making definitions is the programmer’s main task in life.”
From Computational Category Theory
I have to disagree with this. Implementing maintainable solutions to real problems is the programmer’s main task in life. The same is not typically said about practitioners of category theory.