@ssanj Imagine all the code in the world disappeared. Integer is (still) naturally ordered. Either[T, _] is a monad. Neither are implemented
-
@dibblego doesn't that mean you need a "bind" function?
@ssanj No, it means the structure satisfies a particular shape. The implementation witnesses the fact. It does not alter the fact itself.
-
-
@dibblego are u saying Monads are not merely a computing construct but a behaviour that satisfies certain laws? -
@ssanj That is exactly what I am saying. - Show replies
New conversation -
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.