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: Sun, 8 Dec 2019 12:55:53 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <qsioca$nf2$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>
 <qsfu02$j84$1@dont-email.me> <qsg203$1soi$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 8 Dec 2019 11:55:55 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="55366988cf76eb8e7c4100550347788f";
	logging-data="24034"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18T973lgkL3S+VUI6uJhMUHdFlveIEjngU="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.2.1
Cancel-Lock: sha1:N2KqtqjhX5mlG1rtkUwpo9x4m4g=
In-Reply-To: <qsg203$1soi$1@gioia.aioe.org>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:57690
Date: 2019-12-08T12:55:53+01:00
List-Id: <comp.lang.ada>

On 12/7/19 12:21 PM, Dmitry A. Kazakov wrote:
> On 2019-12-07 11:13, Jeffrey R. Carter wrote:
>>
>> As these are generic data structures, there are no instances of the type.
> 
> Each type has instances = objects of.

I have seen a generic data structure named Generic_B_Trees, written by Dimitry 
Kazakov. It has 2 generic formal types, and no instances of either of those types.

>> 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.
> 
> Yes, I remember you did, but I also remember that it was not really usable.

I implemented several examples using the it, and found it quite usable, and the 
resulting code much easier to understand than typeical GUIs.

However, the point in contention was your claim that you are required to use 
access types to have a GUI. When that was demonstrated to be untrue, you 
attempted to change the subject. So I consider this discussion finished.

-- 
Jeff Carter
"If you don't get the President of the United States on that
phone, ... you're going to have to answer to the Coca-Cola
Company."
Dr. Strangelove
32