* 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