@wycats @robotlolita @steveklabnik @samth It's simpler than that. There are intuitions that can expressed in terms of effects/structure.
-
-
@wycats@robotlolita@steveklabnik@samth e.g. you rolled in NPE (a non-value) into something exclusively concerned with values -
@bitemyapp NPE is one possible manifestation of "null escaping". Maybe guarantees that "null" is 100% local. -
@wycats NPE has nothing to do with Monad and a law-abiding Monad for Maybe will not catch exceptions of any kind. -
@bitemyapp Are you trying to understand what I'm saying? If you've already flipped the bozo bit, please just move on. -
@wycats I'm doing my best to read generously for a more productive conversation. -
@bitemyapp monads are usually used *in place of* constructs that are non-local and create annoying global protocols. -
@wycats What is non-local about this? This is very common.pic.twitter.com/y0H1QDwQ6V
-
@bitemyapp what would this look like in a non-monadic style? - 35 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.