comp.lang.ada
 help / color / mirror / Atom feed
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.



  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