From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!aioe.org!wkzB5gFOhLHjvUsb32RKWQ.user.46.165.242.91.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Calling inherited primitive operations in Ada
Date: Fri, 2 Sep 2022 11:55:11 +0200
Organization: Aioe.org NNTP Server
Message-ID: <tesjtu$1asj$1@gioia.aioe.org>
References: <a19c8158-dd9b-46bd-a4aa-113143db642an@googlegroups.com>
 <teobs9$dkt$1@gioia.aioe.org>
 <e731d19b-c4f1-4a47-8dfb-b984588759ccn@googlegroups.com>
 <67b32db0-c4db-466c-ac13-e597e008c762n@googlegroups.com>
 <teq6r1$262s2$1@dont-email.me> <teq92g$ru9$1@gioia.aioe.org>
 <teqci9$26ntr$1@dont-email.me>
 <401d6f59-2c28-4dd5-9fa6-fccf33b6d645n@googlegroups.com>
 <teql47$27jv6$1@dont-email.me>
 <12cc33b1-2c39-4057-8a03-623064b06e8en@googlegroups.com>
 <teqlu3$27mlk$1@dont-email.me>
 <dad4c041-142f-4bb3-a51e-d7236996c529n@googlegroups.com>
 <ter8fo$29nsd$1@dont-email.me>
 <672e9bc6-1e53-42cb-a339-9230ab949de9n@googlegroups.com>
 <tesg1k$1i84$1@gioia.aioe.org>
 <9484a755-f55d-407e-a40b-92421b0bcafbn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="43923"; posting-host="wkzB5gFOhLHjvUsb32RKWQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.13.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:64268
List-Id: <comp.lang.ada>

On 2022-09-02 11:20, amo...@unizar.es wrote:
> On Friday, September 2, 2022 at 10:48:57 AM UTC+2, Dmitry A. Kazakov wrote:
> 
>> Containers should be implementable without generics. Just saying.
> 
> Are you now referring to current Ada or to hypothetical features?

Hypothetical like all types having classes and supertypes. E.g. when you 
instantiate generic with a type you semantically place the type in the 
implicit class of formal types of the generic. You cannot do that now 
without generics. Furthermore, there is no way to describe relationships 
between types like array index and array, like range and discrete type 
of its elements etc.

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