From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Immutable and Transient Objects and GC?
Date: Thu, 19 Mar 2009 20:57:15 +0100
Date: 2009-03-19T20:57:16+01:00 [thread overview]
Message-ID: <1xlfoojt78g9a$.1tqaqwkb806j7$.dlg@40tude.net> (raw)
In-Reply-To: _Ywwl.14720$W06.4955@flpi148.ffdc.sbc.com
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
prev parent reply other threads:[~2009-03-19 19:57 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-18 20:07 Immutable and Transient Objects and GC? Dimonax
2009-03-18 21:32 ` Maciej Sobczak
2009-03-18 21:50 ` Dimonax
2009-03-19 8:14 ` Maciej Sobczak
2009-03-19 19:23 ` Dimonax
2009-03-19 19:57 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox