@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 @brixen this level of discourse sadly lets people miss the power in the feature. Tasteful equivalences aid refactoring.
7:53 PM - 25 Nov 2014
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.