5 ms·
A monad really is just a wrapper around a value, with flatMap and return. For some kinds of monads, like maybe, that’s all you need. But, some other kinds of
by raiflip 6y ago
A monad really is just a wrapper around a value, with flatMap and return.
For some kinds of monads, like maybe, that’s all you need.
But, some other kinds of monads need more logic. List is one, IO is another.
In OOP language, sometimes all you need is the parent class. But sometimes you need to extend the parent and add more.
- ratww 6y agoIt's actually more like an abstract class! Even the Maybe monad has some implementation, it's just super simple :) https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#line-1005 https://hackage.haskell.org/package/base-4.14.0.0/docs/src/G...
- raiflip 6y agoTotally agree, that’s a good point.