Re:Why category theory matters in programming
by Myrmornis on Wednesday September 13, 2017 @10:47PM
(#15244648)
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?
Re:Why category theory matters in programming
by throwawayjava on Thursday September 14, 2017 @12:41AM
(#15245065)
> category theory / abstract algebra
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 :-)
Most all the theorist/logician/algebraist-turned-programmer folks I know all feel more-or-less the same way.
Just explain the pattern in english. Might as well call it a FooDeBar. Giving axioms and such is usually a waste of The Man's money and my time.
That said, I think it's extremely valuable to see this sort of thing in an academic or side project/enrichment activity setting. The mindset and mental model are fantastically helpful. See dshnkao's post, for example.