@bitemyapp monads are usually used *in place of* constructs that are non-local and create annoying global protocols.
@bitemyapp I have never once claimed that the benefit of monads was "hypothetical". Also have never claimed they are not defined by the Laws
-
-
@bitemyapp You, on the other hand, are making a strong claim. That they should *only* be understood by the Laws. -
@wycats hrm, no, that's not my claim and that's not what's in the book. -
@wycats but I would prefer that people not muddle up the topic with weird statements like it being about non-local effects. -
@bitemyapp monads allow you to run some computation sure that (certain) non-local effects are encapsulated. Is that wrong? -
@wycats it's wrong, yes. -
@bitemyapp it's wrong because it's not *all* monads can do, or because it's not what monads sometimes do? -
@wycats it's wrong because it doesn't describe what Monad is or does. -
@bitemyapp but does it describe what Monad is often useful for? - 12 more 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.