@brixen sometimes called "Tennant's Correspondence Principle"
-
-
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 I may be missing something :) I'm talking about (proc { expr }).call == expr. One application, no?2 replies 0 retweets 0 likes -
Replying to @wycats1 reply 0 retweets 0 likes
Replying to @johnbender
@johnbender BTW: There are two exceptions to the equivalence: new scopes and break/next. And indeed: refactoring hazards. @brixen
8:00 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.