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: Sat, 7 Dec 2019 11:13:20 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <qsfu02$j84$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>
 <qsed22$93u$1@dont-email.me> <qsee2v$par$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 7 Dec 2019 10:13:22 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="64ebb0f37a42dfa81055c295c2af9659";
	logging-data="19716"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/ZwmKFrIQMnJOiDOk+9CP3o4EFPQvetyw="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.2.1
Cancel-Lock: sha1:msoSDFnFYX+iD+oh4+GWs7cvBIY=
In-Reply-To: <qsee2v$par$1@gioia.aioe.org>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:57683
Date: 2019-12-07T11:13:20+01:00
List-Id: <comp.lang.ada>

On 12/6/19 9:35 PM, Dmitry A. Kazakov wrote:
> 
> No, it would be misleading. Element must be reserved for instances of the type. 
> They are actual elements. The type of an element is not an element, these are 
> two totally different things.

As these are generic data structures, there are no instances of the type. 
Parameters should be called Item (the library commonly uses New_Item).

> I am required to. There must be always be two types in a GUI, one referential 
> type and one implementation type. 

As I have presented here in the past a proof of concept of a GUI library that 
uses no access types, this is demonstrably false.

-- 
Jeff Carter
"C++ is like jamming a helicopter inside a Miata
and expecting some sort of improvement."
Drew Olbrich
51