From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Type naming conventions: Any_Foo
Date: Fri, 6 Dec 2019 21:18:10 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <qsed22$93u$1@dont-email.me>
References: <qs8du6$sg4$1@dont-email.me>
 <f0d2cb32-33fd-4420-bf93-62bf0c005ba0@googlegroups.com>
 <qs8nmg$mm9$1@dont-email.me>
 <f5b3464a-21de-4d75-858a-054178434d54@googlegroups.com>
 <qsbels$msu$1@dont-email.me> <qsbfn2$12it$1@gioia.aioe.org>
 <qsbnqh$j30$1@dont-email.me> <qsbu56$18iv$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 6 Dec 2019 20:18:10 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="255dba8a204173ca31bbda2f999c53ca";
	logging-data="9342"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18gqPXjVqwgbplX7L503pgHrEq96NM3bNA="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.2.1
Cancel-Lock: sha1:/lsIO7w7033akJ/mp2Ij2Wg3RsA=
In-Reply-To: <qsbu56$18iv$1@gioia.aioe.org>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:57671
Date: 2019-12-06T21:18:10+01:00
List-Id: <comp.lang.ada>

On 12/5/19 10:51 PM, Dmitry A. Kazakov wrote:
> 
> Ada standard library uses _Type, e.g.
> 
> generic
>     type Element_Type (<>) is private;
>     with function "=" (Left, Right : Element_Type) return Boolean is <>;
> package Ada.Containers.Indefinite_Holders

Yes, and the ARM also includes such abominations as anonymous access types. Just 
because it's in the ARM doesn't mean it's the best way to do something. Element 
is be a better name for that formal type.

> There are lots of cases in Ada, you certainly should know that. As a practical 
> example GtkAda declares all widget types twice:
> 
>     type Gtk_Button_Record is ...
>     type Gtk_Button is access all Gtk_Button_Record'Class;

No well designed library has public access types. You aren't required to use a 
library that does, and you aren't required to use access types.

-- 
Jeff Carter
"Brave Sir Robin ran away."
Monty Python and the Holy Grail
59