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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,cf677878aa77e0d8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-17 10:08:37 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.ems.psu.edu!news.cis.ohio-state.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mail From: Matthias Kretschmer Newsgroups: comp.lang.ada Subject: Re: an infinate loop Date: Tue, 17 Jul 2001 19:02:21 +0200 Organization: T-Online Message-ID: <3B546F9D.4030809@gmx.net> References: <3B4F2962.25BB60FF@boeing.com> <3B4F758B.197CA145@boeing.com> <9iv0ce$3d3$1@nh.pace.co.uk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.t-online.com 995389330 01 3356 GByiSc0S6AHtQ 010717 17:02:10 X-Complaints-To: abuse@t-online.com X-Sender: 520099920815-0001@t-dialin.net User-Agent: Mozilla/5.0 (X11; U; FreeBSD i386; en-US; rv:0.9.2) Gecko/20010707 X-Accept-Language: en-us Xref: archiver1.google.com comp.lang.ada:10077 Date: 2001-07-17T19:02:21+02:00 List-Id: Marin David Condic wrote: > IIRC, the argument was that other languages had attempted to eliminate the > goto in their design, but that typically the first enhancement made was to > throw the goto back in. The argument followed that Ada could try to spit > into the wind and eliminate the goto for all sorts of computer-sciency > reasons, but inevitably enough people would want it for enough good reasons > that it should just get included in the language from the start. As with > other language features, Ada at least attempted to make the goto more safe > by restricting some of the things you could jump into and out of. On the > whole, I think it was pretty successful - you almost never hear of anybody > saying "I'd love to use Ada, but because of all the restrictions on the goto > statement, I just can't make it work for my app..." :-) > It is possible to program without using an goto at all (see W.A.Wulf: "Programming without goto" or D.E.Knuth and R.W.Floyd (1971): "Notes on avoiding goto statement") - and this should be the right way. Jumps/goto make the whole thing very unreadable I think and it is difficult to prove the correctness. Proving the correctness of algorithms/subprograms/programs is maybe unusual (or done by only a few), but if you are sure that your way of doing it, is the right way, it should be easy to prove. Unproven code just waits for its counterexample. Once someone involved in the Ada design in the beginnig told me, that the goto statement was mainly implemented to make the language more attractive to people who do not want to live without.