@brixen yep. In particular converting uniform access into a protocol-based API.
@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.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
-
@johnbender BTW: There are two exceptions to the equivalence: new scopes and break/next. And indeed: refactoring hazards.@brixen
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.