From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id BB1C9BB81 for ; Sat, 4 Feb 2006 13:36:24 +0100 (CET) Received: from mail.physik.uni-muenchen.de (mail.physik.uni-muenchen.de [192.54.42.129]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k14CaNKS003281 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Sat, 4 Feb 2006 13:36:24 +0100 Received: from localhost (unknown [127.0.0.1]) by mail.physik.uni-muenchen.de (Postfix) with ESMTP id 87B0B200D7; Sat, 4 Feb 2006 13:36:23 +0100 (CET) Received: from mail.physik.uni-muenchen.de ([127.0.0.1]) by localhost (mail.physik.uni-muenchen.de [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 02382-01-81; Sat, 4 Feb 2006 13:36:23 +0100 (CET) Received: from mailhost.cip.physik.uni-muenchen.de (kaiser.cip.physik.uni-muenchen.de [141.84.136.1]) by mail.physik.uni-muenchen.de (Postfix) with ESMTP id 6D71B200D1; Sat, 4 Feb 2006 13:36:23 +0100 (CET) Received: from aso.cip.physik.uni-muenchen.de (eiger.cip.physik.uni-muenchen.de [141.84.136.54]) by mailhost.cip.physik.uni-muenchen.de (Postfix) with ESMTP id D7A0726E87; Sat, 4 Feb 2006 13:36:22 +0100 (CET) Received: by aso.cip.physik.uni-muenchen.de (Postfix, from userid 3092) id 7D89F783F3; Sat, 4 Feb 2006 13:36:22 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by aso.cip.physik.uni-muenchen.de (Postfix) with ESMTP id 756E880432; Sat, 4 Feb 2006 13:36:22 +0100 (CET) Date: Sat, 4 Feb 2006 13:36:22 +0100 (CET) From: Thomas Fischbacher To: Brendan Miller Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocaml continuations In-Reply-To: <3dd983220602040240w2e93feb3ub0b1d9a4c9a9247a@mail.gmail.com> Message-ID: References: <3dd983220602040240w2e93feb3ub0b1d9a4c9a9247a@mail.gmail.com> X-BOFH: Daemons did it MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: amavisd-new at physik.uni-muenchen.de X-Miltered: at concorde with ID 43E49FC7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 ocaml:01 monads:01 monads:01 brendan:98 cip:98 cip:98 lambda:01 lambda:01 wrote:01 debian:02 physik:02 physik:02 gnu:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=SPF_FAIL autolearn=disabled version=3.0.3 On Sat, 4 Feb 2006, Brendan Miller wrote: > I've heard that ocaml supports continuations through something called > monads. This is just an elegant way of saying that actually, OCaml does not support continuations. Whatever you can do to get Continuations via Monads in OCaml, you could do just the same way in, say, even Perl. -- regards, tf@cip.physik.uni-muenchen.de (o_ Thomas Fischbacher - http://www.cip.physik.uni-muenchen.de/~tf //\ (lambda (n) ((lambda (p q r) (p p q r)) (lambda (g x y) V_/_ (if (= x 0) y (g g (- x 1) (* x y)))) n 1)) (Debian GNU)