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,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-30 11:32:58 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!eusc.inter.net!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: In-Out Parameters for functions
Date: Fri, 30 Jan 2004 19:32:57 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <bvebh9$s5o$1@a1-hrz.uni-duisburg.de>
References: <wcczncdrowb.fsf@shell01.TheWorld.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> <1075486459.94310@master.nyc.kbcfp.com>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1075491177 28856 134.91.1.34 (30 Jan 2004
 19:32:57 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Fri, 30 Jan 2004 19:32:57 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: archiver1.google.com comp.lang.ada:5120
Date: 2004-01-30T19:32:57+00:00
List-Id: <comp.lang.ada>

Hyman Rosen <hyrosen@mail.com> wrote:
: 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?

(add  p: Point := (x | y | z => ReadCoord); to the list of surprises.)

People coming from the substitution model of programming might
"feel like they know what's going on" (L. Wall, perlmod),
however this might be the opposite of helpful in writing
programs that use assignment not substitution, or that use "world",
with or without order.

It matches the tasking dizziness well.

But I won't insist, I'm only trying to see how this could make sense.