From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Intermixing two tagged types
Date: Thu, 14 Aug 2014 14:06:50 +0200
Date: 2014-08-14T14:06:50+02:00 [thread overview]
Message-ID: <xkw0kdsub8zo$.xckzdmozxwxf.dlg@40tude.net> (raw)
In-Reply-To: lsi86s$hqg$1@speranza.aioe.org
On Thu, 14 Aug 2014 14:57:18 +0300, Victor Porton wrote:
> Simon Wright wrote:
>
>> Victor Porton <porton@narod.ru> writes:
>>
>>> So (now in Ada terms, which I am implementing) a function can belong
>>> to two tagged types.
>>
>> Are you sure that it's appropriate to use *tagged* types? And even if if
>> is appropriate for raptor_namespace (i.e., you derive new types from
>> it), is it so for raptor_namespace_stack? - which clearly is a stack of
>> raptor_namespace (or possibly raptor_namespace'Class).
>
> Tagged types a little decrease efficiency,
There is none, except the place used to keep the type tag. Since non-tagged
types do not dispatch, whatever dispatch overhead does not apply.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2014-08-14 12:06 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-13 20:32 Intermixing two tagged types Victor Porton
2014-08-14 7:58 ` Simon Wright
2014-08-14 11:57 ` Victor Porton
2014-08-14 12:06 ` Dmitry A. Kazakov [this message]
2014-08-14 16:03 ` Adam Beneschan
2014-08-14 16:11 ` Victor Porton
2014-08-14 16:29 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox