From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Task interface and entries with aliased parameters
Date: Wed, 28 Oct 2015 12:48:05 -0500
Date: 2015-10-28T12:48:05-05:00 [thread overview]
Message-ID: <n0r1om$rct$1@loke.gir.dk> (raw)
In-Reply-To: 1e09jksdqcfyv.8f80k06gl5ye$.dlg@40tude.net
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:1e09jksdqcfyv.8f80k06gl5ye$.dlg@40tude.net...
> On Wed, 21 Oct 2015 10:01:01 -0700, Jeffrey R. Carter wrote:
>
>> On 10/21/2015 01:54 AM, Hadrien Grasland wrote:
>>>
>>> Using GNAT GPL 2015, I am having some trouble with task interfaces which
>>> feature entries that take aliased parameters.
>>
>> "IMHO, Interfaces are worthless." -- Randy Brukardt
>
> He possibly meant Java interfaces as opposed to existing Ada 95 abstract
> types. Ada 95 abstract type did everything Java interface do and more.
Yes, precisely. Ada 95 already had a more powerful feature needed to share
implementations.
Sharing interfaces *sounds* nice, but it's impossible in practice because in
almost all circumstances you need parameters of different types for
different "instances" ("instances" not in the Ada sense). Think container
interfaces, for example - the element type is almost always different.
Interfaces might work in a language where all types are necessarily tagged
and all derived from a common ancestor, but that language is not at all Ada.
(And you'd have forced most type checking to runtime, going the wrong way.)
Randy.
next prev parent reply other threads:[~2015-10-28 17:48 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 [this message]
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
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