On 4/6/20 1:11 PM, Shiro Kawai wrote:
> Yes, [additional location for string length] all ok.  (Another possible model is that a string object is merely a pointer to an immutable string body, but that's further away from "location-per-character" storage model.)

The latter just seems simpler and cleaner than a special string-length location that
magically creates or removes character locations.  It seems difficult to specify that
is any simply way - and I don't think that model provides any extra explanatory power.
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/