[e-lang] CapTP in E progress report #5
kpreid at mac.com
Mon Aug 13 17:02:02 EDT 2007
On Aug 13, 2007, at 16:27, David Hopwood wrote:
> What are the precise meanings of "unconnected" and "disconnected"
An unconnected ref is something that used to be a far ref (and
therefore has the same identity as it); a disconnected ref never was
> Alternatively, where should I have looked to answer this question?
Note that its claim that "(Due to this behavior of Disconnected
references, we say that == tests designational equivalence rather
than computational equivalence.)" is becoming false, and directly
related to this discussion:
Originally, if one had a disconnected ref, and then successfully
reconnected and got a reference to that object again, then the two
refs would be == but not behave identically.
When I was discussing CapTP with MarkM several weeks ago, I argued
that this was unacceptable:
(a) It makes sameness too weak; it is immensely useful for == to
guarantee that what it considers the same will behave *absolutely
(b) My new safe proxy-ref system <http://wiki.erights.org/wiki/
Proxy> makes it impossible for the comm system to break sameness in
Kevin Reid <http://homepage.mac.com/kpreid/>
More information about the e-lang