Re: A case where Ada defaults to unsafe?

[Thierry Lelegard <thierry.lelegard@canal-plus.fr>]

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
____________________________________________________________________________