From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,15d5eb6390443ef2
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!feeder.erje.net!news2.arglkargh.de!news.musoftware.de!wum.musoftware.de!news.weisnix.org!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Immutable and Transient Objects and GC?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <kwcwl.12552$hc1.11698@flpi150.ffdc.sbc.com>
 <0fb0ee0b-b5af-45af-b93c-fc6e931930fd@z1g2000yqn.googlegroups.com>
 <61ewl.12556$hc1.5538@flpi150.ffdc.sbc.com>
 <ea71bfb1-6dce-40f8-9731-61e126921100@y9g2000yqg.googlegroups.com>
 <_Ywwl.14720$W06.4955@flpi148.ffdc.sbc.com>
Date: Thu, 19 Mar 2009 20:57:15 +0100
Message-ID: <1xlfoojt78g9a$.1tqaqwkb806j7$.dlg@40tude.net>
NNTP-Posting-Date: 19 Mar 2009 20:57:16 CET
NNTP-Posting-Host: f53c9cd5.newsspool1.arcor-online.net
X-Trace: 
 DXC=SBEn\K?M_N0U`5g[@c]@J1ic==]BZ:af>4Fo<]lROoR1^YC2XCjHcb9_dU2l_I0W2>DNcfSJ;bb[5IRnRBaCd<M>lkI;DAOJd>5jmM=Hb;he?3
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:5165
Date: 2009-03-19T20:57:16+01:00
List-Id: <comp.lang.ada>

On Thu, 19 Mar 2009 19:23:38 GMT, Dimonax wrote:

> Trasient data and objects exist solely for the purpose of being consumed 
> again.

It is not clear why they should have a distinct type. Ada per design is
such that the object type does not depend on the way its scope is managed.
This allows the compiler to create temporal or what you call "transient"
objects as necessary, transparently to the type semantics. For example,
in-out parameters can be copied-in and -out, so that the program would deal
with a "transient" object without knowing it. It is important not to know,
because in other places the compiler could choose by reference parameter
passing for the same type.

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