Get the latest tech news
You Don't Need Monads
It’s not a clickbait, there are no monads in Я. I still use monadic/comonadic adjectives just as a habit to describe stuff like binding and extension. However, monads are overwemingly overrated! Here is why: Yet another monad tutorial I’m afraid refreshing some monad definitions is not something we can avoid here, but we are going to do it in our own way.
It’s not a clickbait, there are no monads in Я. I still use monadic/comonadic adjectives just as a habit to describe stuff like binding and extension. For the first natural transformation ( η[i]- “produce” this functor structure from nothing) we will wrap a value into Some constructor: Compare this type declaration to a widely known bind operator from vanilla Haskell:
Or read this on Hacker News