277
Monads (lemmy.world)
submitted 1 year ago by to c/programmer_humor@programming.dev
40 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 1 year ago (1 child)

http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html

It's a "programmable semicolon" or "decorated-function composition". I think most people that are confused about it, are trying to make it be more meaningful than it is. Haskell (?) just grabbed a math name so they'd have one word for it, because it's a useful class name there.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 2 points 1 year ago

    It’s a “programmable semicolon” or “decorated-function composition”

    "programmable semicolons" is wrong, you can have that without Monads, and in fact Haskell has a do-notation for Applicative. "decorated function composition" is a bit vague, I think I see what you mean but it's not too helpful.

    It's just an interface for a generic type that requires two specific functions to be implemented. Understanding why it is so useful is the tricky part.

  • permalink
  • fedilink
  • source
  • parent