“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
One thought on “Making definitions”
Comments are closed.
“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
Comments are closed.
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.