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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,99e73f65ea2533b9 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: and then... (a curiosity) Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <18b41828-bda4-4484-8884-ad62ce1c831d@f36g2000hsa.googlegroups.com> <09fad49e-95d9-4ffc-a0bd-d68d14a0f901@b2g2000prf.googlegroups.com> Date: Sat, 30 Aug 2008 13:21:40 +0200 Message-ID: <1tlnjekp3wf5g$.19r86nar256t2.dlg@40tude.net> NNTP-Posting-Date: 30 Aug 2008 13:21:45 CEST NNTP-Posting-Host: 60fc7c6f.newsspool3.arcor-online.net X-Trace: DXC=4@a[4TVi^?E2:OR3:3gaE@McF=Q^Z^V3H4Fo<]lROoRA4nDHegD_]REYihOREJ=6OG[6LHn;2LCVN[?i_[IDT=EO X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:1839 Date: 2008-08-30T13:21:45+02:00 List-Id: On Fri, 29 Aug 2008 15:28:16 -0700 (PDT), Adam Beneschan wrote: > "and then" is not a function, however, and has none of these > properties. It could be made a function if Ada had lazy arguments. I am unsure if the arguments of "and" are eager. You are a language lawyer, I am not. But I used to think that the eagerness of evaluation is rather unspecified, so that the compiler is free "not to care," when it optimizes the code, as Jeff Carter has pointed out. So basically, provided the above is correct, the choice was motivated by least strong precondition (=unspecified eagerness), rather than by choosing between eager and lazy evaluation. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de