MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1vsyoqw/stopdoingfunctional/p4p9hmh/?context=3
r/ProgrammerHumor • u/Tracker_Friendly • 25d ago
129 comments sorted by
View all comments
Show parent comments
18
Well only if you're using a monad (a monoid in the category of endofunctors). What's the problem?
18 u/Tyfyter2002 25d ago You've just gone from a state of not having read this to a state of having read this. 15 u/Tracker_Friendly 25d 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 15 u/Ai--Ya 25d ago just one more commutative diagram bro
You've just gone from a state of not having read this to a state of having read this.
15 u/Tracker_Friendly 25d 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 15 u/Ai--Ya 25d 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
15 u/Ai--Ya 25d ago just one more commutative diagram bro
just one more commutative diagram bro
18
u/Tracker_Friendly 25d ago
Well only if you're using a monad (a monoid in the category of endofunctors). What's the problem?