Re: Overring function and its returned type

[AdaMagica <christ-usch.grein@t-online.de>]

On Monday, November 19, 2012 9:41:07 AM UTC+1, Hibou57 (Yannick Duchêne) wrote:
> > How can this be? The actual of an out-parameter exists already, whereas  
> > the return object is newly created.
> 
> He meant it, semantically. You can return a value into an already existing  
> object, and in practice, except with purely functional languages, that's  
> always how it goes (even if the target may be adjusted in some way for  
> many reasons).

From this point of view, they are semantically the same in Ada. But for me, it's a non sequitur.

An out parameter as an update is like an assignment A := B; hidden inside some procedure; a return object is constructed somehow. This is fundamentally different for me.

Is (1) equal to (2):
 declare
   A: T := Some_Value; -- (1)
 begin
   A := Some_Value;  -- (2)