ark@research.att.com (Andrew Koenig) writes:
>ML does not offer object identity, because it doen't have objects.
Hmm... aren't ML references objects?
If not, why not?
They seem to me to have at least some of the necessary characteristics
for object-hood, namely state and identity; that's as much as the "objects"
described in the C standard have (although the terminology there is also
different: the C names for state and identity are "storage" and "address").
If "reference" and "object" are the same in all but name, then aren't they
really equal? Oh... that brings us back to our original question ;-)
--
Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3 | -- the last words of T. S. Garp.
|