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

>> On Nov 2, 2016, at 3:50 PM, Dave Abrahams <dabrah...@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
_______________________________________________
swift-users mailing list
swift-users@swift.org
https://lists.swift.org/mailman/listinfo/swift-users

Reply via email to