Re: Dereferencing and style guides

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Mon, 30 Sep 2013 06:35:09 +0000 (UTC), Natasha Kerensikova wrote:

> So what do you think about the topic?
> Are there other people here favoring non-mandatory .all?
> Have I missed some guidelines and rationals discussion the question?

I don't believe many would agree, but anyway. From my point of view a
referential type (such as access type) represents a subtype of the target
type. Therefore there should be no .all or any other explicit dereferencing
operation, because this is not the parent's type operation. For the same
reason := should have mean deep assignment not the shallow one as in Ada.
For shallow assignment there should have been another operation here, or
overloaded :=, e.g.

   type T is ...;
   type T_Ptr is access T;

   X, Y := T_Ptr;
begin
   X := Y; -- Deep copy
   X := Y'Access; -- Shallow copy

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de