Path: utzoo!attcan!uunet!mcsun!ukc!edcastle!lfcs!nick From: nick@lfcs.ed.ac.uk (Nick Rothwell) Newsgroups: comp.lang.functional Subject: Re: side effects in FL's (was "Can laziness sometimes be too lazy?") Message-ID: <5303@castle.ed.ac.uk> Date: 25 Jul 90 09:36:07 GMT References: <51915@iuvax.cs.indiana.edu> Reply-To: nick@lfcs.ed.ac.uk (Nick Rothwell) Organization: Wavetables 'R' Us Lines: 30 In-reply-to: jashley@silver.ucs.indiana.edu (J. Michael Ashley) 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 !mcsun!ukc!lfcs!nick ~ ~~ ~~ ~~ ~~ Hey, son, get that DeLorean off the track! And ~~ ~~ ~~ ~~ ~ what have you done with all my lovely harpsichords?