@dibblego that line is not clear to me: Either <=> sum, Pair <=> product. How can Either be a "glorified tuple"? http://bit.ly/P1sjdR
-
-
Replying to @etorreborre
@etorreborre Oh mate, I'm really sorry. It's a running joke.2 replies 0 retweets 0 likes -
Replying to @dibblego
@dibblego@etorreborre It's no joke. Either A B is just the dependent pair (s:bool, if s then B else A).1 reply 0 retweets 0 likes -
Replying to @mbrcknl
@mbrcknl@etorreborre The context from which it was derived is certainly a joke.1 reply 0 retweets 0 likes -
Replying to @dibblego
@dibblego@etorreborre I can appreciate that, even though I'm not familiar with the original context. :-)1 reply 0 retweets 0 likes
Replying to @mbrcknl
@mbrcknl @etorreborre there are jokers and the are inadvertent clowns.
11:47 PM - 6 Aug 2012
0 replies
0 retweets
0 likes
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.