A blog post I need to write: "Syntax Is Not Ruby's (only) Value Proposition"
@johnbender @brixen beta reduction means application, so beta equivalence means that application doesn't change the meaning of inner expr
-
-
-
@johnbender@brixen right and in this case the reduction is application. -
-
@johnbender@brixen I may be missing something :) I'm talking about (proc { expr }).call == expr. One application, no? -
@wycats@johnbender yeah, this is exactly Tennent's Principle of Correspondence, pg 127-131, and others.
End of conversation
New conversation -
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.