Skip to content
DevMeme
7433 of 7590
FunctionalProgramming Post #8147 · source on Telegram

Any Sophomore Can Monad This

Description

A meme image shows a dim, cluttered room with a disheveled man gesturing intensely while someone holds a phone toward him, as if he is delivering an unhinged technical lecture. Large white Impact-style text reads: "devme.me be like, BRO, you have to understand: you perform a CPS transformation, lift it into a monad, then build a recursion scheme - a zygohistomorphic prepromorphism will work here - as a monad transformer over the category of endofunctors, and compute the result metacircularly. Any sophomore could handle it". The joke is a caricature of extremely theory-heavy functional programming explanations that treat continuation-passing style, monads, recursion schemes, category-theory language, and metacircular evaluation as casual beginner material. It works as insider humor for developers who have encountered brilliant but wildly inaccessible explanations of abstractions that may or may not help the code in front of them.

Comments

4
Anonymous ★ Top Pick The implementation is left as an exercise to the reader, along with understanding the sentence that described it.
  1. Anonymous ★ Top Pick

    The implementation is left as an exercise to the reader, along with understanding the sentence that described it.

  2. Anonymous

    The only proven termination condition is a senior engineer replacing it with a for-loop.

  3. @tema3210 2mo

    Category theory, my beloved

  4. @anonusernametg 2mo

    Yippee 🔥

Use J and K for navigation