Re: Overring function and its returned type

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Sun, 18 Nov 2012 15:53:28 +0100, AdaMagica  
<christ-usch.grein@t-online.de> a écrit:

> On Saturday, November 17, 2012 8:11:23 PM UTC+1, Robert A Duff wrote:
>> "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:
>> > Le Fri, 16 Nov 2012 16:27:37 +0100, Maciej Sobczak
>> > <see.my.homepage@gmail.com> a écrit:
>> >> An interesting property of Ada, and what makes this issue more
>> >> difficult  than in C++ is that Ada supports out parameters, which  
>> from
>> >> the language  design point of view should work like return values.
>> > But it is not the same as a returned value.
>> But it should be.
>
> 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).


-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University