@brixen yep. In particular converting uniform access into a protocol-based API.
-
-
Replying to @johnbender
@brixen@wycats I guess they are "beta equivalent" in/out of the block in that they result in the same reduction in/out block.1 reply 0 retweets 0 likes -
Replying to @johnbender
@johnbender@brixen beta reduction means application, so beta equivalence means that application doesn't change the meaning of inner expr1 reply 0 retweets 0 likes -
Replying to @johnbender
@johnbender@brixen right and in this case the reduction is application.1 reply 0 retweets 0 likes
Replying to @johnbender
@johnbender Many asymmetries produce refactoring hazards. @brixen
7:53 PM - 25 Nov 2014
0 replies
0 retweets
1 like
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.