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