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-27 01:29:07 PST Path: archiver1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!tar-atanamir.cbb-automation.DE!not-for-mail From: Dmitry A. Kazakov Newsgroups: comp.lang.ada Subject: Re: In-Out Parameters for functions Date: Tue, 27 Jan 2004 10:36:47 +0100 Message-ID: <1lbc101ipcb8vu88jamto0b29c72jbu1rq@4ax.com> References: <1075159458.149886@master.nyc.kbcfp.com> NNTP-Posting-Host: tar-atanamir.cbb-automation.de (212.79.194.116) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de 1075195745 25454102 212.79.194.116 ([77047]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:4890 Date: 2004-01-27T10:36:47+01:00 List-Id: On Tue, 27 Jan 2004 02:26:17 GMT, Hyman Rosen wrote: >Robert A Duff wrote: >> It does seem of some value to attempt to make sure "order doesn't matter". > >But since this will never be the case in Ada, the next best thing is to >define the order. There could be also an opposite point of view. Fixing the evaluation order you strengthen the "precondition" of the code. I believe that D. Gries in his The Science of Programming argued to do exactly the opposite. For example, that the case statement should run all alternatives in parallel when more than one guard is open etc. His point, if I correctly remember, was lesser precondition, more general and better code. Actually this is the old "and" vs. "and then" debate. Just as an independent observer. (:-)) -- Regards, Dmitry A. Kazakov www.dmitry-kazakov.de