🚀 go-pugleaf

In article <51915@iuvax.cs.indiana.edu>, jashley@silver (J. Michael Ashley) writes:
>If you *do* want an exception handler, then go look at ML (or maybe SML).
>Bruce Duba worked with Chris Haynes at Indiana University on typing call/cc,
>which is a construct that hands the programmer the current continuation as
>a first-class function.  He went on and is working for whoever does ML

ML is "done" my several people all over the world. The New Jersey ML
compiler was "done" by MacQueen at AT&T, Appel at Princeton, and
others.

>and
>has implemented it in the language.  It's now in the standard.

* W R O N G ! *

Read the Standard (published by MIT) and tell me where you see it.

Callcc is not part of Standard ML. It's an extension implemented by
the New Jersey ML implementors, as is the separate compilation scheme
implemented by us, the exception continuation handling scheme
implemented by Reppy, and so on.

>mike ashley

		Nick.
--
Nick Rothwell,	Laboratory for Foundations of Computer Science, Edinburgh.
		nick@lfcs.ed.ac.uk    <Atlantic Ocean>!mcsun!ukc!lfcs!nick
~ ~~ ~~ ~~ ~~ Hey, son, get that DeLorean off the track! And ~~ ~~ ~~ ~~ ~
            what have you done with all my lovely harpsichords?