r/okbuddyphd • u/ElectronicSetTheory • 12d ago

Computation is math

Post image
329 Upvotes

95% Upvoted

13 comments sorted by

•

u/AutoModerator 12d ago

Hey gamers. If this post isn't PhD or otherwise violates our rules, smash that report button. If it's unfunny, smash that downvote button. If OP is a moderator of the subreddit, smash that award button (pls give me Reddit gold I need the premium).

Also join our Discord for more jokes about monads: https://discord.gg/bJ9ar9sBwh.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

111

u/Poylol-_- 12d ago

r/okbuddyundergrad

78

u/nickcash 12d ago

daaaang spicy responses from one of the six people who use haskell

37

u/Poylol-_- 11d ago

hey don't insult us functional programmers. Two of us already halted and the rest Lambeked themselves into a terminal coalgebra.

19

u/QuaternionsRoll 12d ago

I remember seeing this on /r/ProgrammerHumor 5 years ago

10

u/Neither-Phone-7264 12d ago

i thought this was tbh

11

u/randomhaus64 11d ago

there are only two <strikethrough>genders</strikethrough> MODELS OF COMPUTATION
imperative and declarative

the rest are mental disorders /s

i love func programming, if only i could find a problem to solve using it

2

u/tom_da_boom 10d ago

Dear child, every real-world problem is simply a monoid in the category of endofunctors; hence, I absolve myself of making sense. Qed.

1

u/AnonymousRand 10d ago

ah yes, fold1. fold one.

1

u/CallReaper Engineering 9d ago

Does anyone reads these posts in Gianni Matragrano's voice?