@robotlolita @steveklabnik @samth yes but there's a spectrum of "losing the benefits"
@bitemyapp @robotlolita @steveklabnik @samth I think we're talking past each other -- I'm talking about value, you about definition
-
-
@wycats@robotlolita@steveklabnik@samth Can't talk about the value of something if you can't accurately characterize where it begins/ends. -
@wycats@robotlolita@steveklabnik@samth Monad is just types + laws. Any other weirdness due to the host PL is orthogonal. -
@bitemyapp@robotlolita@steveklabnik@samth what "weirdness" -
@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. - 38 more replies
New conversation -
-
-
@wycats (sorry to ask again, but I've got that person blocked and have no interest in that thread, so could you leave me out?) -
@robotlolita Yes, absolutely. Removed. Sorry.
End of conversation
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.