- haskell - What is a monad? - Stack Overflow
Here the monad-pattern is used to avoid repetitive code This is similar to how some other languages use macros to simplify syntax, although macros achieve the same goal in a very different way Note that it is the combination of the monad pattern and the monad-friendly syntax in Haskell which result in the cleaner code
- haskell - A monad is just a monoid in the category of endofunctors . . .
In summary, any monad is by definition an endofunctor, hence an object in the category of endofunctors, where the monadic join and return operators satisfy the definition of a monoid in that particular (strict) monoidal category
- What is it that Leibniz calls a “Monad”?
Also, every monad has a dedicated corpus, a body which is itself assembled from parts, which themselves have their dedicated monads, lower in the hierarchy Only the monas monadum exists without one All in all, this is a very difficult topic I hope I was of any help, and did not add to your confusion
- javascript - Why are Promises Monads? - Stack Overflow
Furthermore - "if you check the Monad laws you can easily tell that they are also Monads" - this doesn't constitute a 'proof' in any way The OP seems to be asking specifically about whether promises form a monad, but you've made no effort to prove, or even to informally demonstrate, this theorem
- What are monadic bind and monadic return for C++23 optional?
What about other libraries? Boost Hana defines concepts for Functor, Applicative, Monad, and many others, giving you a way to implement automatically all the abstractions that leverage those concepts at the cost of giving some minimal definition
- haskell - Why do we need monads? - Stack Overflow
In my humble opinion the answers to the famous question "What is a monad?", especially the most voted ones, try to explain what is a monad without clearly explaining why monads are really necessary
|