From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!paganini.bofh.team!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Unchecked_Deallocation with tagged types
Date: Fri, 23 Apr 2021 20:04:08 -0500
Organization: JSA Research & Innovation
Message-ID: <s5vqq9$lou$1@franka.jacob-sparre.dk>
References: <607b56f8$0$3721$426a34cc@news.free.fr> <s5gq77$110s$1@gioia.aioe.org> <607bf826$0$3733$426a74cc@news.free.fr> <s5hnta$2qv$1@dont-email.me> <86im4hj6eh.fsf@stephe-leake.org> <s5n2nl$6ee$1@dont-email.me> <827fce15-8277-4ec8-a627-01158b42a191n@googlegroups.com> <s5nf6q$3c4$1@dont-email.me> <4205785c-6818-4e26-b931-5a775e2c426cn@googlegroups.com>
Injection-Date: Sat, 24 Apr 2021 01:04:10 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226";
	logging-data="22302"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:61902
List-Id: <comp.lang.ada>

"Vincent Marciante" <vincent.marciante@l3harris.com> wrote in message 
news:4205785c-6818-4e26-b931-5a775e2c426cn@googlegroups.com...
> On Tuesday, April 20, 2021 at 4:57:00 PM UTC-4, Jeffrey R. Carter wrote:
>> On 4/20/21 7:34 PM, Vincent Marciante wrote:
>> >
>> > Lists.List
>>
>> My objection is that this says the same thing twice (hence my joke about 
>> adding
>> more variants of "List" to it). "This is a list, and by the way, this is 
>> a
>> list." To me, Lists.Handle says, "This is something that lets you 
>> manipulate a
>> hidden implementation of lists."
>>
>> But the most important thing, I think, is that you've thought about 
>> naming ...
>
> But that idiom pretty much prohibits "using" more than one package with 
> such naming:

Yes, of course, that's a feature, not a bug. ;-)

One of the things that I learned when building Claw is that there is no 
naming convention that works well for use clauses and for the use-adverse. 
We ended up with a scheme that sort of works for both (using _Type) but it 
ideal for neither. I'd guess that most authors fall into one or the other 
camps and pick a scheme accordingly.

For me, a naming scheme that discourages the use of (package) use clauses is 
a bonus. (Such a scheme makes it easier to avoid use clauses.) I personally 
only use "use type" in new code (there's tons of old code for which that 
doesn't work, of course, but that doesn't change the principle).

                                    Randy.