@wycats @robotlolita @steveklabnik @samth e.g. you rolled in NPE (a non-value) into something exclusively concerned with values
-
-
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 Are you trying to understand what I'm saying? If you've already flipped the bozo bit, please just move on.1 reply 0 retweets 1 like -
Replying to @bitemyapp
@bitemyapp monads are usually used *in place of* constructs that are non-local and create annoying global protocols.1 reply 0 retweets 0 likes -
Replying to @wycats
@wycats What is non-local about this? This is very common.pic.twitter.com/y0H1QDwQ6V
2 replies 0 retweets 0 likes -
Replying to @bitemyapp
@wycats that said, I think I get your meaning but it's specific to communities that rarely get Monad right to begin with.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@wycats and don't have the power to abstract much more than Maybe.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@wycats it's discomfiting that we think this is a precise way to talk about something that is genuinely much simpler.1 reply 0 retweets 0 likes
@bitemyapp I don't find talking about programming tools *entirely* in terms of pure semantics very useful or simple.
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.