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 13:14:13 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <qsipel$t3k$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>
 <ba5905ae-babe-4c83-923e-049f5927af35@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 8 Dec 2019 12:14:13 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="55366988cf76eb8e7c4100550347788f";
	logging-data="29812"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/izG1KDOAmwvPw1qfIZ0BUdJDN+D6Abo0="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.2.1
Cancel-Lock: sha1:cehrnvEuv2LziGbpsgTc2iQNiso=
In-Reply-To: <ba5905ae-babe-4c83-923e-049f5927af35@googlegroups.com>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:57693
Date: 2019-12-08T13:14:13+01:00
List-Id: <comp.lang.ada>

On 12/8/19 12:24 AM, Jere wrote:
> 
> You are correct that you can write a high level abstraction wrapper
> around a GUI without exposing access types, but to Dmitry's point, the
> actual code that creates the GUI components has to use access types
> or some sort of referential data type.  Your example GUI illustrates even
> this.  When you look at ada_gui.adb, you will see multiple uses of
> access types:  accesses to procedure callbacks, accesses to GUI components,
> uses of 'Access, etc.

The implementation of Ada_GUI is a hack to let me test the feasibility of the 
idea. I think a real implementation could be done without needing access types, 
but have not looked into it in enough detail to be sure. Even if it cannot be 
implemented without them, this discussion was about what the pkg requires from 
its clients, so the implementation is irrelevant.

-- 
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