@wycats @robotlolita @steveklabnik @samth but this is a topic people have muddled pretty badly and "non-local effects" is outright wrong.
-
-
Replying to @bitemyapp
@bitemyapp@robotlolita@steveklabnik@samth I think we're talking past each other -- I'm talking about value, you about definition2 replies 0 retweets 0 likes -
Replying to @wycats
@wycats@robotlolita@steveklabnik@samth Can't talk about the value of something if you can't accurately characterize where it begins/ends.2 replies 0 retweets 1 like -
Replying to @bitemyapp
@wycats@robotlolita@steveklabnik@samth Monad is just types + laws. Any other weirdness due to the host PL is orthogonal.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp@robotlolita@steveklabnik@samth what "weirdness"1 reply 0 retweets 0 likes -
Replying to @wycats
@wycats@robotlolita@steveklabnik@samth e.g. you rolled in NPE (a non-value) into something exclusively concerned with values2 replies 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp NPE is one possible manifestation of "null escaping". Maybe guarantees that "null" is 100% local.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp I have literally not one time said that monads "catch exceptions". You're just filling in blanks with other convos you've had.2 replies 0 retweets 0 likes
@bitemyapp Sure. Monads take annoying global protocols and make them local.
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.