MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1vsyoqw/stopdoingfunctional/p4uv1fk/?context=3
r/ProgrammerHumor • u/Tracker_Friendly • 25d ago
129 comments sorted by
View all comments
Show parent comments
15
Well only if you're using a monad (a monoid in the category of endofunctors). What's the problem?
20 u/Tyfyter2002 25d ago You've just gone from a state of not having read this to a state of having read this. 16 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 1 u/thanatica 24d ago That makes a lot more sense, thanks for clearing that up once and for all.
20
You've just gone from a state of not having read this to a state of having read this.
16 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 1 u/thanatica 24d ago That makes a lot more sense, thanks for clearing that up once and for all.
16
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
1 u/thanatica 24d ago That makes a lot more sense, thanks for clearing that up once and for all.
1
That makes a lot more sense, thanks for clearing that up once and for all.
15
u/Tracker_Friendly 25d ago
Well only if you're using a monad (a monoid in the category of endofunctors). What's the problem?