@bitemyapp Are you trying to understand what I'm saying? If you've already flipped the bozo bit, please just move on.
-
-
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
@bitemyapp what would this look like in a non-monadic style?1 reply 0 retweets 0 likes -
-
Replying to @bitemyapp
@wycats Monad is a type+laws driven abstraction. concat + \x -> [x] + map happens to satisfy everything we need for a List Monad, so it is.2 replies 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp There are a million things that you can define precisely. Rigor doesn't tell you when you SHOULD use something, just that you can1 reply 0 retweets 1 like -
Replying to @bitemyapp
@bitemyapp That isn't a response, it's name calling.1 reply 0 retweets 0 likes
@bitemyapp You are defining an abstraction -- that's great. But *why* is it important?
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.