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,
	XPRIO autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Calling inherited primitive operations in Ada
Date: Fri, 2 Sep 2022 19:07:27 -0500
Organization: A noiseless patient Spider
Message-ID: <teu5s0$2m1ev$1@dont-email.me>
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> <b678b499-0cb1-4c64-a88f-cfa9a79893e6n@googlegroups.com>
Injection-Date: Sat, 3 Sep 2022 00:07:29 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="540bec0664a3fed56c5bc4112da1ca1f";
	logging-data="2819551"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18YAudT/xjBJ1wdtWSUvFG5tIeOG52mjYw="
Cancel-Lock: sha1:T2q8SwxsRTX9QjQTfx7sWPJEJMo=
X-Priority: 3
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
Xref: reader01.eternal-september.org comp.lang.ada:64279
List-Id: <comp.lang.ada>

"Emmanuel Briot" <briot.emmanuel@gmail.com> wrote in message 
news:b678b499-0cb1-4c64-a88f-cfa9a79893e6n@googlegroups.com...

>These packages are mostly implementation details. They are used to build 
>high-level
>packages similar to the Ada containers, except with much better code reuse, 
>more
> efficient, and SPARK-provable.

(Wading in where I should probably not tread... :-)

But they violate the #1 principle of the Ada.Containers: ease of use. One 
principle that we insisted on was that a single instantiation was the 
maximum we would use, because we did not want people moving from arrays to 
containers to have to replace one declaration with a half page of magic 
incantations. (This is the reason that there is no container interface, for 
one consequence, and certainly no signature packages.)

In general, people either undertand and like signature packages, or really 
do not understand them and just use them when insisted on. The standard 
containers in Ada needed to be usable by the maximum number of users, and 
insisting on bells and whistles that many don't understand does not help.

                        Randy.