@robotlolita @steveklabnik @samth that suggests they are used in a quite monadic way, whatever we decided.
@bitemyapp @robotlolita @steveklabnik @samth What makes you think I'm speaking in terms of intuition because I don't know the math?
-
-
@wycats@robotlolita@steveklabnik@samth pattern-matching on past experience. I don't know any math either, I just teach the stuff. -
@bitemyapp@robotlolita@steveklabnik@samth probably not the best idea to pattern-match the worst in people ;) -
@wycats@robotlolita@steveklabnik@samth I don't associate "badness" with "not-knowing". -
@wycats@robotlolita@steveklabnik@samth but this is a topic people have muddled pretty badly and "non-local effects" is outright wrong. -
@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" - 43 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.