🚀 go-pugleaf

In article <9310@ihlpb.ATT.COM> nevin1@ihlpb.UUCP (55528-Liber,N.J.) writes:

>This (using expression forms) won't work too well in (full) C.  
	he problem is that pure
>expression-based languages (like LISP) tend to be typeless as well.
>Having to return a specific data type severely limits the usefulness of making
>control-flow constructs (if, switch, for, etc.) expression-oriented.

Strongly typed functional languages like SISAL support this very concept.
Constructs like:

	IF (test 1) THEN
	    exp 1
	ELSIF (test 2) THEN
	    exp 2
	ELSE
	    exp 3
	ENDIF

are required where exp 1, exp 2, exp 3 are all of the same type.  This is
not as restrictive as one might think.

						Patrick Miller

Patrick J. Miller		miller@lll-crg.llnl.gov
uucp:				{gatech,pyramid,rutgers}!lll-crg!miller
other things to try:		miller%lll-crg.llnl.gov@relay.cs.net