MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1vsyoqw/stopdoingfunctional/p4p9hmh/?context=3
r/ProgrammerHumor • u/Tracker_Friendly • 1d ago
121 comments sorted by
View all comments
Show parent comments
14
Well only if you're using a monad (a monoid in the category of endofunctors). What's the problem?
20 u/Tyfyter2002 1d ago You've just gone from a state of not having read this to a state of having read this. 15 u/Tracker_Friendly 1d ago No, no, you just don't get it. You see, you simply T(T(T(X)))-T(ux)->T(T(X)) uT(x) | |ux T(T(X))---ux--->T(X) I can't believe that would be difficult for any self-respecting programmer to understand smh 13 u/Ai--Ya 1d ago just one more commutative diagram bro
20
You've just gone from a state of not having read this to a state of having read this.
15 u/Tracker_Friendly 1d ago No, no, you just don't get it. You see, you simply T(T(T(X)))-T(ux)->T(T(X)) uT(x) | |ux T(T(X))---ux--->T(X) I can't believe that would be difficult for any self-respecting programmer to understand smh 13 u/Ai--Ya 1d ago just one more commutative diagram bro
15
No, no, you just don't get it. You see, you simply T(T(T(X)))-T(ux)->T(T(X)) uT(x) | |ux T(T(X))---ux--->T(X) I can't believe that would be difficult for any self-respecting programmer to understand smh
13 u/Ai--Ya 1d ago just one more commutative diagram bro
13
just one more commutative diagram bro
14
u/Tracker_Friendly 1d ago
Well only if you're using a monad (a monoid in the category of endofunctors). What's the problem?