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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9768c08202fdbbb1
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-11-18 20:21:26 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!nycmny1-snf1.gtei.net!news.gtei.net!mango.news.easynet.net!easynet.net!news-peer.gradwell.net!not-for-mail
Newsgroups: comp.lang.ada
From: porton@ex-code.com (Victor Porton)
Date: Tue, 19 Nov 2002 09:13:04 +0500
References: <3dcb8347$0$299$bed64819@news.gradwell.net>
Organization: Extreme Code Software (http://ex-code.com)
Subject: Re: Let's change semantics of "use type"
Mime-Version: 1.0
X-Newsreader: knews 1.0b.1
Content-Type: text/plain; charset=us-ascii
X-URL: http://www.ex-code.com/
Message-ID: <3dd9bc46$0$301$bed64819@news.gradwell.net>
NNTP-Posting-Date: 19 Nov 2002 04:21:26 GMT
NNTP-Posting-Host: 195.149.39.13
X-Trace: 1037679686 news.gradwell.net 301 mail2news/195.149.39.13
X-Complaints-To: news-abuse@gradwell.net
Xref: archiver1.google.com comp.lang.ada:31082
Date: 2002-11-19T04:21:26+00:00
List-Id: <comp.lang.ada>

In article <3DD8419F.97C1A8@adaworks.com>,
	Richard Riehle <richard@adaworks.com> writes:
> Victor Porton wrote:
> 
>> I am suggesting (for the next Standard) to change the semantics of "use
>> type" so that it would make visible not only primitive _operators_, but
>> all primitive _operations_.
>>
> 
> We should be cautious about adding features to the Ada
> language that will dilute its essential power.   We should
> be wary of trying to make Ada look like something else
> in pursuit of a potentially ephemeral popularity.  Ada is
> what it is:  a language designed to enable the compiler to
> detect the maximum number of errors as early in the
> development process as possible and to continue catching
> errors during execution and over the full life-cycle of the
> maintenance process.

Well, I now completely agree that changing semantics of
"use type" was a bad idea. Now I am defending only new
"use all type" syntax for this.

[skipped]

"use all type" just introduces something mean between
"use" and dot notation. It is good for mean software systems
between small systems and large scale systems (about which
you have said).

It seems that "use all type" will increase readability and
decrease number of bugs, as I seem that programmers will
tend to "use all type" namely instead of just "use".

So I see no any real arguments against "use all type"
proposal except of a _little_ work of compiler vendors.

Well, now the time to stop the discussion. Seemingly we
have said all. I hope to find time to propose this
officially.