@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 A trick I have taught myself is to use "equivalence" or "symmetry" with academic audiences else "refactoring hazard" @brixen
7:54 PM - 25 Nov 2014
0 replies
0 retweets
2 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.