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 PAA10468; Fri, 13 Sep 2002 15:25:33 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 PAA10989 for ; Fri, 13 Sep 2002 15:25:32 +0200 (MET DST) Received: from yoda.planetinternet.be (anvers-smtp.planetinternet.be [195.95.30.152]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g8DDPV905452 for ; Fri, 13 Sep 2002 15:25:31 +0200 (MET DST) Received: from janxp (u212-239-199-174.adsl.pi.be [212.239.199.174]) by yoda.planetinternet.be (Postfix) with ESMTP id F278B38046 for ; Fri, 13 Sep 2002 15:25:30 +0200 (CEST) Message-ID: <002b01c25b29$0c4e9ae0$0100a8c0@janxp> From: "Scott J," To: "CAML-LIST" Subject: [Caml-list] Callcc Date: Fri, 13 Sep 2002 15:25:37 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0027_01C25B39.CFA20300" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0027_01C25B39.CFA20300 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Hi, I am relearning Ocaml. I thought something as "call with current continuation" was implemented. But a search for it in the reference manual didn't give anything. Scott ------=_NextPart_000_0027_01C25B39.CFA20300 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Hi,
 
I am relearning Ocaml. I thought = something as "call=20 with current continuation" was implemented. But a search for it in the = reference=20 manual didn't give anything.
 
Scott
------=_NextPart_000_0027_01C25B39.CFA20300-- ------------------- 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 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 QAA12908; Fri, 13 Sep 2002 16:36:38 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 QAA12761 for ; Fri, 13 Sep 2002 16:36:37 +0200 (MET DST) Received: from web11202.mail.yahoo.com (web11202.mail.yahoo.com [216.136.131.184]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g8DEaa907479 for ; Fri, 13 Sep 2002 16:36:36 +0200 (MET DST) Message-ID: <20020913143635.84630.qmail@web11202.mail.yahoo.com> Received: from [195.224.189.78] by web11202.mail.yahoo.com via HTTP; Fri, 13 Sep 2002 07:36:35 PDT Date: Fri, 13 Sep 2002 07:36:35 -0700 (PDT) From: Noel Welsh Subject: Re: [Caml-list] Callcc To: "Scott J," , CAML-LIST In-Reply-To: <002b01c25b29$0c4e9ae0$0100a8c0@janxp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk O'Caml doesn't support call/cc. Scheme (my favourite impl is: http://www.plt-scheme.org/) and SML/NJ do. Noel --- "Scott J," wrote: > Hi, > > I am relearning Ocaml. I thought something as "call > with current > continuation" was implemented. But a search for it > in the reference manual > didn't give anything. > > Scott > __________________________________________________ Do you Yahoo!? Yahoo! News - Today's headlines http://news.yahoo.com ------------------- 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 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 MAA28443; Mon, 16 Sep 2002 12:07:37 +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 MAA27925 for caml-list@pauillac.inria.fr; Mon, 16 Sep 2002 12:07:37 +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 QAA12460 for ; Fri, 13 Sep 2002 16:36:02 +0200 (MET DST) Received: from parsmtp1.rd.francetelecom.com (parsmtp1.rd.francetelecom.com [194.167.105.13]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g8DEa1907450 for ; Fri, 13 Sep 2002 16:36:01 +0200 (MET DST) Received: from localhost.localdomain (l-at6154.rd.francetelecom.fr [10.193.13.28]) by p-grive.rd.francetelecom.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13) id S4CPKNSS; Fri, 13 Sep 2002 16:35:40 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C25B32.D5028600" content-class: urn:content-classes:message X-MimeOLE: Produced By Microsoft Exchange V6.0.5762.3 Subject: Re: [Caml-list] Callcc Date: Fri, 13 Sep 2002 16:35:53 +0200 Message-ID: <15745.63433.670385.92984@localhost.localdomain> Thread-Topic: [Caml-list] Callcc Thread-Index: AcJbMtVF3V7MO8b2EdaOgwCAXzHsRg== From: "MONIN Jean-Francois FTRD/DTL/LAN" To: "Scott J," Cc: "CAML-LIST" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------_=_NextPart_001_01C25B32.D5028600 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable > I am relearning Ocaml. I thought something as "call with current > continuation" was implemented. But a search for it in the reference manual > didn't give anything. There is no callcc in Ocaml. You may have used this feature with other implementations of ML, say SML-NJ. The implementation technology of the latter is based on continuations, which makes callcc easily available. Ocaml implementation is not based on continuations, but on stacks: it proved to be fairly more efficient, but=20 you lose callcc. JF Monin ------_=_NextPart_001_01C25B32.D5028600 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Re: [Caml-list] Callcc

> I am relearning Ocaml. I thought something as = "call with current
> continuation" was implemented. But a search = for it in the reference manual
> didn't give anything.

There is no callcc in Ocaml. You may have used this = feature with other
implementations of ML, say SML-NJ. The implementation = technology
of the latter is based on continuations, which makes = callcc
easily available. Ocaml implementation is not based = on continuations,
but on stacks: it proved to be fairly more efficient, = but
you lose callcc.

  JF Monin

------_=_NextPart_001_01C25B32.D5028600-- ------------------- 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