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-28 15:14:22 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-01!sn-xit-06!sn-post-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: In-Out Parameters for functions
Date: Wed, 28 Jan 2004 17:13:10 -0600
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <101ggi3sdf56311@corp.supernews.com>
References: <5ad0dd8a.0401240721.7682f2e1@posting.google.com>
 <mailman.14.1074976968.2270.comp.lang.ada@ada-france.org>
 <bv5an3$ocsr3$1@ID-69815.news.uni-berlin.de>
 <wccfze1z4mm.fsf@shell01.TheWorld.com>
 <5ad0dd8a.0401280230.5c800894@posting.google.com>
 <wccptd3olj2.fsf@shell01.TheWorld.com>
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:5018
Date: 2004-01-28T17:13:10-06:00
List-Id: <comp.lang.ada>

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
news:wccptd3olj2.fsf@shell01.TheWorld.com...
> wojtek@power.com.pl (Wojtek Narczynski) writes:
>
> > > Ada is inconsistent -- as Robert Dewar says, side effects are allowed,
> > > so long as you don't document them on the function spec.
> >
> > Looks to me like the ARG is far from agreement on this subject :-)
>
> That's true.  Tucker and I, for example, have had this argument several
> times.  I'm in favor of allowing 'in out' parameters on functions in Ada
> (but not SPARK!), and Tucker is against.

Which goes to show that even bright people can be wrong from time-to-time.
:-)

This topic is almost a religious war. I'm one of the few who's changed sides
(even though allowing 'in out' on functions would be such a disruptive
change to Janus/Ada that it probably would lead to the abandonment of the
technology), because it is impossible to do good (pointer-less) O-O
programming without it.

                           Randy.