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
X-Received: by 2002:a05:620a:21d9:: with SMTP id h25mr4283491qka.70.1619106551001; Thu, 22 Apr 2021 08:49:11 -0700 (PDT)
X-Received: by 2002:a25:1883:: with SMTP id 125mr5498225yby.465.1619106550782; Thu, 22 Apr 2021 08:49:10 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!tr3.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 22 Apr 2021 08:49:10 -0700 (PDT)
In-Reply-To: <s5rlv4$3ns$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=35.245.252.196; posting-account=XfA3zgkAAABoz6fRf3Tehtnqqr7Ycml-
NNTP-Posting-Host: 35.245.252.196
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> <86a6pqk89v.fsf@stephe-leake.org> <s5rlv4$3ns$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <fcbe3bc7-ff79-4e10-ba9a-1ef669663910n@googlegroups.com>
Subject: Re: Unchecked_Deallocation with tagged types
From: Vincent Marciante <vincent.marciante@l3harris.com>
Injection-Date: Thu, 22 Apr 2021 15:49:10 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:61898
List-Id: <comp.lang.ada>

On Thursday, April 22, 2021 at 7:16:54 AM UTC-4, Jeffrey R. Carter wrote:
> Yes, that's why it's a List's Handle (Lists.Handle), something that lets you 
> manipulate a list without knowing how it's implemented. 

(Only somewhat tongue-in-cheek )
That seems to imply that any type that is somewhat complicated 
would be named handle and most of the important types in large
systems are somewhat complicated types and therefore all of the
important types would be named handle.  In source code names,
the difference between a "_" character and a "." character is not
that much, so this style is similar to having to tack "_type" at the
end of all type names:  List.Handle and List_Type are both distasteful
to me when all I'd need is List to indicate the nature of the type!