From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA23659; Mon, 8 Apr 2002 10:29:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA17791 for caml-list@pauillac.inria.fr; Mon, 8 Apr 2002 10:29:21 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA18219 for ; Mon, 8 Apr 2002 05:29:19 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from sj1-3-4-9.securesites.net (sj1-3-4-9.securesites.net [192.220.127.202]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g383THX22902 for ; Mon, 8 Apr 2002 05:29:17 +0200 (MET DST) Received: (qmail 77255 invoked by uid 16863); 8 Apr 2002 03:29:15 -0000 Received: from unknown (HELO localhost) ([192.220.65.223]) (envelope-sender ) by 192.220.65.223 (qmail-ldap-1.03) with SMTP for ; 8 Apr 2002 03:29:15 -0000 Date: Mon, 8 Apr 2002 03:29:15 +0000 (GMT) From: Brian Rogoff To: bcpierce@cis.upenn.edu cc: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] Continuations -- summary of replies In-Reply-To: <9207.1018099816@saul.cis.upenn.edu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Thanks for the summary! A practically oriented page of cool continuation tricks would be a very useful thing. Lloyd Allison, who wrote an excellent, short introduction to denotational semantics, has a few papers on practical uses of continuation passing style, including one in Java (!) I think. L.Allison. Continuations implement generators and streams. Computer Journal 33(5) 460-465 1990 L. Allison, Generator and search objects in Java. J J. Res. and Practice in Inf. Tech. Some of the papers are available here http://www.csse.monash.edu.au/~lloyd/Paperz.shtml I'm a bit surprised by this comment from Olivier Danvy > Let me conclude with a plea: despite IT technologies, BTA analysis, Meta > ML, etc., let us resist to CPS style, OK? I guess he's saying that we shouldn't write CPS style code (I can't say for sure), but I find some of the nice CPS examples (like his functional unparsing one) really compelling. Oh well, I'll still be anxiously awaiting those lecture notes. -- Brian ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners