From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA17844 for caml-red; Mon, 11 Dec 2000 18:29:14 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA05605 for ; Sat, 9 Dec 2000 04:58:54 +0100 (MET) Received: from dynabook (h12-001.tokyu-net.catv.ne.jp [202.221.12.1]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eB93wqb01094 for ; Sat, 9 Dec 2000 04:58:52 +0100 (MET) Received: from dynabook ([127.0.0.1] helo=localhost ident=sumii) by dynabook with esmtp (Exim 3.12 #1 (Debian)) id 144b9n-0000AQ-00; Sat, 09 Dec 2000 12:58:43 +0900 To: caml-list@inria.fr From: eijiro_sumii@anet.ne.jp Cc: joelisp@yahoo.com, Basile.Starynkevitch@cea.fr, sumii@venus.is.s.u-tokyo.ac.jp Subject: Re: callcc/cps-style programming In-Reply-To: <14895.19186.716809.936261@gargle.gargle.HOWL> References: <20001206201313.28498.qmail@web9203.mail.yahoo.com> <14895.19186.716809.936261@gargle.gargle.HOWL> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.1 (AOI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20001209125843I.sumii@yl.is.s.u-tokyo.ac.jp> Date: Sat, 09 Dec 2000 12:58:43 +0900 X-Dispatcher: imput version 991025(IM133) Sender: weis@pauillac.inria.fr > Is anyone working on callcc for OCaml? I have a related question: in _Scheme_, there are some implementations of call/cc using threads. Is this approach viable in OCaml? That is, is it possible to implement callcc in OCaml by using the standard "Threads" library? Or is it diffiult because of a typing problem or whatever? // Eijiro Sumii (http://www.yl.is.s.u-tokyo.ac.jp/~sumii/) // // Ph.D. Student at Department of IS, University of Tokyo // Visiting Scholar at Department of CIS, University of Pennsylvania