• baseless_discourse@mander.xyz
    link
    fedilink
    arrow-up
    1
    ·
    11 months ago

    Every monad is a monoid in the category of endofunctors, it is literally the definition of monad. But what do you expect from clippy…

    • umbraroze@kbin.socialOP
      link
      fedilink
      arrow-up
      1
      ·
      11 months ago

      Yeah, the thing is, “a monad is a monoid in the category of endofunctors” is kind of a meme among non-Haskell developers. Personally, I think Haskell is a very interesting language. The mathematical jargon, however, is impenetrable, and this particular expression is kind of the poster child. I’mma go look at Erlang if I want my functional language fix without making my head hurt, thank ye very much.

      • synae[he/him]@lemmy.sdf.org
        link
        fedilink
        English
        arrow-up
        1
        ·
        11 months ago

        Erlang fucks, haskell is the nerd in the corner at the party crying “they don’t know about my mathematical purity”