A monad is just a monoid in the category of endofunctors, what's the problem?
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
But my favorite explanation is https://fsharpforfunandprofit.com/monadster/
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
A Swedish burrito.
-
Monads are easy, but what's a burrito?https://twitter.com/dannygratzer/status/845066882365476864 …
End of conversation
New conversation -
-
-
If you know what a functor is, it is a functor with operations that let you stay at one level of application
-
Eg. If M is your monad and you have something if type M M a, then you can get to M a. Similarly with a to M a.
- 1 more reply
New conversation -
-
-
about five pounds.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.