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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,a9ec16e88ef2b543
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,a7b18e7570ac8dc3
X-Google-Attributes: gid103376,public
X-Google-Thread: f43e6,a9ec16e88ef2b543
X-Google-Attributes: gidf43e6,public
X-Google-ArrivalTime: 1994-09-13 01:15:50 PST
Path: 
 nntp.gmd.de!newsserver.jvnc.net!nntpserver.pppl.gov!princeton!udel!MathWorks.Com!news.duke.edu!news-feed-1.peachnet.edu!emory!swrinde!howland.reston.ans.net!swiss.ans.net!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.software-eng,comp.lang.eiffel,comp.lang.ada
Subject: Re: Eiffel gripe (was Ada vs. Eiffel)
Date: 12 Sep 1994 09:52:23 -0400
Organization: Courant Institute of Mathematical Sciences
Message-ID: <351men$ruo@gnat.cs.nyu.edu>
References: <DERWAY.94Aug23180251@alumni.ndc.com>
 <DERWAY.94Aug31133058@alumni.ndc.com> <1994Sep1.094653@lglsun.epfl.ch>
 <34473c$ru5@info2.rus.uni-stuttgart.de> <344isl$brd@Starbase.NeoSoft.COM>
 <3450li$t04@disuns2.epfl.ch> <1994Sep4.100449.205@aldur.demon.co.uk>
 <34e4rgINNqdg@ephor.tusc.com.au> <3517ci$f12@dscomsa.desy.de>
NNTP-Posting-Host: gnat.cs.nyu.edu
Xref: nntp.gmd.de comp.software-eng:17618 comp.lang.eiffel:4133
 comp.lang.ada:14642
Date: 1994-09-12T09:52:23-04:00
List-Id: <comp.lang.ada>

If we are on the subject of loop syntax, how about the loop kit for SETL
that I (probably in a fit of over-complex thinking) designed:

init <stuff to do before loop.
doing <stuff to do at start of each loop>
step <stuff to do at end of each loop>
while <condition to test at start of loop>
loop
...
end

within the loop there was both a quit and a continue for early exits to
either outside the loop or the next iteration (actually to the step code)

Well you sure could do anything with that. As in C, one of the powerful
uses of general iteration schemes like this is in connection with macros,
which allow you to do lots of nice things, but are so open to major
abuse that in the final analysis I prefer Ada's approach of excluding
macros as a first class capability (SETL *did* have a powerful macro
facility as well).