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.
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.
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.
“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.