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-Thread: 103376,99e73f65ea2533b9 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news2.google.com!news3.google.com!out01b.usenetserver.com!news.usenetserver.com!in04.usenetserver.com!news.usenetserver.com!uns-out.usenetserver.com!news.usenetserver.com!pc03.usenetserver.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail Newsgroups: comp.lang.ada Subject: Re: and then... (a curiosity) References: <18b41828-bda4-4484-8884-ad62ce1c831d@f36g2000hsa.googlegroups.com> <57qdnfULQ9tzKCHVnZ2dnUVZ_tHinZ2d@comcast.com> <48bd0003$1@news.post.ch> From: Stephen Leake Date: Wed, 03 Sep 2008 21:05:47 -0400 Message-ID: User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (windows-nt) Cancel-Lock: sha1:FU+jb+b8AltIH46IWzCYDhTBDsk= MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: e506548bf2ca7c74cf41807498 Xref: g2news2.google.com comp.lang.ada:7628 Date: 2008-09-03T21:05:47-04:00 List-Id: stefan-lucks@see-the.signature writes: >> > (Well, "A and B" also >> > implies "if B is false, don't care about A", but in a programming language >> > you can't have it both ways.) >> >> That is what I learned in my boolean arithmetic classes. It's either >> way. There is no preference that the left parameter if more important >> then the right. A Human seeing "A∧0" won't evaluate A. And if you see >> "f(x)∧g" you would probably evaluate g first as a variable is usually >> easier to evaluate then a function. > > True. But, at the logic level, the Ada-statement What is the "logic level"? I you mean "abstract Boolean logic, like in college", then there is no such thing as Constraint_Error, nor side effects. So of course it gives you a bad understanding of programming languages. -- -- Stephe