Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* Re: [Caml-list] Callcc
@ 2002-09-13 14:35 MONIN Jean-Francois FTRD/DTL/LAN
  0 siblings, 0 replies; 3+ messages in thread
From: MONIN Jean-Francois FTRD/DTL/LAN @ 2002-09-13 14:35 UTC (permalink / raw)
  To: Scott J,; +Cc: CAML-LIST

[-- Attachment #1: Type: text/plain, Size: 536 bytes --]

> 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

[-- Attachment #2: Type: text/html, Size: 1160 bytes --]

^ permalink raw reply	[flat|nested] 3+ messages in thread
* [Caml-list] Callcc
@ 2002-09-13 13:25 Scott J,
  2002-09-13 14:36 ` Noel Welsh
  0 siblings, 1 reply; 3+ messages in thread
From: Scott J, @ 2002-09-13 13:25 UTC (permalink / raw)
  To: CAML-LIST

[-- Attachment #1: Type: text/plain, Size: 174 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 674 bytes --]

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2002-09-16 10:07 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-09-13 14:35 [Caml-list] Callcc MONIN Jean-Francois FTRD/DTL/LAN
  -- strict thread matches above, loose matches on Subject: below --
2002-09-13 13:25 Scott J,
2002-09-13 14:36 ` Noel Welsh

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox