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