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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-30 10:14:19 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!news-out.visi.com!petbe.visi.com!ash.uu.net!spool.news.uu.net!not-for-mail
Date: Fri, 30 Jan 2004 13:14:14 -0500
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.5) Gecko/20031013 Thunderbird/0.3
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: In-Out Parameters for functions
References: <wcczncdrowb.fsf@shell01.TheWorld.com>
   <1075225041.167448@master.nyc.kbcfp.com>
 <wccvfmxrw9q.fsf@shell01.TheWorld.com>
 <vcve10h7hhlc8pea4vu5pvr5035917i60r@4ax.com>
 <1075303237.975898@master.nyc.kbcfp.com>
 <9khh10pti0dn8gcp7f18ghptaifluj0fud@4ax.com>
 <1075390647.405841@master.nyc.kbcfp.com>
 <pan.2004.01.29.18.20.03.61778@email.ro>
 <1075405582.982776@master.nyc.kbcfp.com>
 <bvbq3q$5fm$6@a1-hrz.uni-duisburg.de>
 <1075412213.447946@master.nyc.kbcfp.com>
 <bve4rv$dmc$1@a1-hrz.uni-duisburg.de>
In-Reply-To: <bve4rv$dmc$1@a1-hrz.uni-duisburg.de>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1075486459.94310@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1075486459  10652 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:5113
Date: 2004-01-30T13:14:14-05:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:
> Thus order might help in some circumstances, however I don't see
> the really big help it offers.

As I have said, it makes some "obvious" uses work unsurprisingly, eg.,
     Point p := (x => ReadCoord, y=> ReadCoord, z => ReadCoord);
just as
     cx, cy, cz : Coord := ReadCoord;
works. But the really big help is that the meaning of such code won't
silently change when changing some aspect of the environment. Of what
benefit is it to the programmer when the ARM allows things to happen
in arbitrary order?