comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Task interface and entries with aliased parameters
Date: Wed, 28 Oct 2015 22:13:36 +0100
Date: 2015-10-28T22:13:36+01:00	[thread overview]
Message-ID: <1fnxzakbfygw9.sb1pibsw9s9s$.dlg@40tude.net> (raw)
In-Reply-To: n0r1om$rct$1@loke.gir.dk

On Wed, 28 Oct 2015 12:48:05 -0500, Randy Brukardt wrote:

> Think container 
> interfaces, for example - the element type is almost always different.

It is always same. The interface of a container element is being copyable
(e.g. type T(<>) is private). For sets it also has "=". For ordered
containers must include "<" etc.

Other interfaces are irrelevant to the container. The question of
constraining a container to keep only elements of certain *other*
interfaces, e.g. basket of apples vs. one of oranges does not change the
fact that apples and oranges are both fruits, could be put in a basket etc.
They still share the "containment" interface.

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


  parent reply	other threads:[~2015-10-28 21:13 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-10-21  8:54 Task interface and entries with aliased parameters Hadrien Grasland
2015-10-21 15:52 ` AdaMagica
2015-10-21 17:01 ` Jeffrey R. Carter
2015-10-21 18:06   ` Hadrien Grasland
2015-10-21 19:21   ` Dmitry A. Kazakov
2015-10-21 19:45     ` Hadrien Grasland
2015-10-21 20:19       ` Dmitry A. Kazakov
2015-10-21 19:46     ` Jeffrey R. Carter
2015-10-21 19:59       ` Dmitry A. Kazakov
2015-10-28 17:48     ` Randy Brukardt
2015-10-28 19:34       ` Bob Duff
2015-10-28 22:23         ` Randy Brukardt
2015-10-28 19:47       ` Paul Rubin
2015-10-28 22:24         ` Randy Brukardt
2015-10-28 21:13       ` Dmitry A. Kazakov [this message]
2015-10-30 19:48       ` Eryndlia Mavourneen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox