Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site umcp-cs.UUCP
Path: utzoo!watmath!clyde!bonnie!akgua!gatech!seismo!lll-crg!gymble!umcp-cs!chris
From: chris@umcp-cs.UUCP (Chris Torek)
Newsgroups: net.lang.c,net.lang.pascal
Subject: Re: break, et cetera
Message-ID: <2319@umcp-cs.UUCP>
Date: Sat, 23-Nov-85 07:45:49 EST
Article-I.D.: umcp-cs.2319
Posted: Sat Nov 23 07:45:49 1985
Date-Received: Mon, 25-Nov-85 06:46:39 EST
References: <771@whuxl.UUCP> <9500030@iuvax.UUCP> <2246@umcp-cs.UUCP> <285@3comvax.UUCP>
Organization: U of Maryland, Computer Science Dept., College Park, MD
Lines: 44
Xref: watmath net.lang.c:7176 net.lang.pascal:392

For those who wish to read the `original' article (I have not),
here is the reference:

	Knuth, D. E., `Structured Programming with GOTO Statements',
	_Computing_Surveys_, 6, 4, 1974, 261-301.

The idea is to use `goto' in a very restricted way to express what
the code is supposed to *do*:  For example, if you are searching
for something, and need to do `x' if it is not found, but `y' if
it is, then doing a `goto found' and separating the code for `y'
from the code for the search is quite reasonable.  Others, of
course, will argue that the code for `x' and `y' should be moved
to other routines; but I believe this kind of separation can be
overused, just as can `goto's.

[The information in the next few paragraphs prompted me to add
net.lang.pascal to the Newsgroups line above.  Please stop here
if bored.]

Knuth's usage of `goto' and even `return' may be found in the source
to TeX and MetaFont, which are written in WEB, a language combining
a Pascal preprocessor and a program description/documentation
language.  The `Tangle' processor converts a WEB file to a Pascal
file; and the `Weave' processor converts a WEB to a TeX file.
(Incidentally, there is an interesting bootstrap problem here, as
both Tangle and Weave are also written in WEB.)

This may again be more a personal preference than anything else,
but I find that Knuth's programs written in WEB are considerably
easier to read than many other smaller programs I have seen written
directly in Pascal.  Even the `return' statements---which are
actually `goto's in disguise, and rather thin disguise at that---are
better than the convoluted code with extra booleans found in programs
that steadfastedly avoid the `goto temptation'.

The WEB system is available for 4.1 and 4.2 BSD Unix as part of
the Unix TeX distribution.  (There is a distribution fee, around
$75, I think.)  Contact Pierre MacKay at the University of Washington
for more information:  ARPA: MacKay@WASHINGTON; UUCP:
...!uw-beaver!mackay.
-- 
In-Real-Life: Chris Torek, Univ of MD Comp Sci Dept (+1 301 454 4251)
UUCP:	seismo!umcp-cs!chris
CSNet:	chris@umcp-cs		ARPA:	chris@mimsy.umd.edu