[swift-users] What is "binding" memory?

[Dave Abrahams]

on Wed Nov 02 2016, Andrew Trick <atrick-AT-apple.com> wrote:

>> On Nov 2, 2016, at 3:50 PM, Dave Abrahams <dabrahams at apple.com> wrote:
>> 
>>> The original poster seemed to have the impression that the operation
>>> of binding memory itself might affect program state, 
>> 
>> Formally speaking, it does!
>
> Oh boy. I keep failing at this. How does one formally distinguish
> between semantic state and actual state?

That's the point; you don't. :-)

-- 
-Dave