|
|
|
|
|
|
by Myrmornis
3201 days ago
|
|
|
Just to be clear, you're advocating: 1. Don't use terminology from academic category theory / abstract algebra in computer programming 2. But if you haven't studied these things, and you are a programmer, it might be very enlightening to do so. Is that right? |
|
|
Woah there!
But otherwise, yes.
Most working mathematicians have seen category theory and borrow bits and pieces of notation and such. But most of their work is done in far more concrete settings.
Working programmers should adopt the same arrangement.
It's a subtle position, but not an inconsistent one. I promise :-)