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,25aa3c7e1b59f7b5
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-01-04 01:05:03 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!cpk-news-hub1.bbnplanet.com!news.gtei.net!opentransit.net!wanadoo.fr!oleane.net!oleane!nnrp.oleane.net!not-for-mail
From: Thierry Lelegard <thierry.lelegard@canal-plus.fr>
Newsgroups: comp.lang.ada
Subject: Re: A case where Ada defaults to unsafe?
Date: Fri, 04 Jan 2002 10:03:36 +0100
Organization: CANAL+ Technologies
Message-ID: <3C356FE8.5DEB48C8@canal-plus.fr>
References: <3C35675D.276C2D81@canal-plus.fr>
 <wTdZ7.1519$OK.89119@rwcrnsc51.ops.asp.att.net>
NNTP-Posting-Host: host227.canal-plus.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: s1.read.news.oleane.net 1010135020 7533 194.2.208.227 (4 Jan 2002
 09:03:40 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Fri, 4 Jan 2002 09:03:40 +0000 (UTC)
X-Sender: "Thierry Lelegard" <tlelegar@mail> (Unverified)
X-Mailer: Mozilla 4.78 [fr]C-CCK-MCD C+  (WinNT; U)
X-Accept-Language: en,fr,zh-CN,zh-TW
Xref: archiver1.google.com comp.lang.ada:18509
Date: 2002-01-04T10:03:36+01:00
List-Id: <comp.lang.ada>

tmoran@acm.org wrote :
> 
> If you write programs as procedures to be followed, short circuit is
> natural.  But if you write with a logic structure and assertions in mind,
> then short circuit is un-natural. 

I do not agree. You mix up the functional definition and the implementation.
Both "and" and "and then" are logic operators. The short-circuit is just an
implementation detail.

If you just need the logic operator (ie. you need the function and you
don't care about the implementation), "and then" is just as good as
"and". 

So, again, an "and" with the implementation of an "and then" (and no "and
then") would be sufficient.

-Thierry
____________________________________________________________________________

Thierry Lelegard, "The Jazzing Troll", Email: thierry.lelegard@canal-plus.fr
CANAL+ Technologies, 34 place Raoul Dautry, 75906 Paris Cedex 15, France
Tel: +33 1 71 71 54 30   Fax: +33 1 71 71 52 08   Mobile: +33 6 03 00 65 75
____________________________________________________________________________