Re: Dereferencing and style guides

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wccob70twny.fsf@shell01.TheWorld.com...
...
> I like the syntax of Pascal: If X is a pointer, then "X" denotes that
> pointer, "X^" denotes the object it points at (all of it!), and "X^.Y"
> denotes the Y component of the object X points at (again, all of that
> component!).  And "X.Y" is illegal.

Wasn't '^' one of the characters that weren't allowed to be used in Ada 83 
because they were not on ancient keypunches? That's probably the reason for 
not using that character.

But I'd be very unhappy if we required it. The fact that it is *not* 
required is very important to giving the illusion that you can index a 
container object directly in Ada 2012 (and modify the elements in place). 
And in general, you don't really want to expose the fact that access types 
are used in reference objects -- the idea is to allow direct modifications 
of the object -- the mechanism used to achieve that should be irrelevant 
(especially to a reader).

Ergo, you never really want to write ".all", because if you have to, you're 
using too many access types in your program. :-)

                                             Randy.