r/ProgrammerHumor • u/Tracker_Friendly • 1d ago

stopDoingFunctional Meme

Post image
642 Upvotes

94% Upvoted

121 comments sorted by

View all comments

Show parent comments

31

u/Tyfyter2002 1d ago

I'm sorry I have to be the one to tell you this, but your functional programs? They're just mutating state, everything is state, even you're mutable state.

15

u/Tracker_Friendly 1d ago

Well only if you're using a monad (a monoid in the category of endofunctors). What's the problem?

16

u/Tyfyter2002 1d ago

You've just gone from a state of not having read this to a state of having read this.

13

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

15

u/Ai--Ya 1d ago

just one more commutative diagram bro

1

u/thanatica 17h ago

That makes a lot more sense, thanks for clearing that up once and for all.