caml-list - the Caml user's mailing list
 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

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

O'Caml doesn't support call/cc.  Scheme (my favourite
impl is: http://www.plt-scheme.org/) and SML/NJ do.

Noel
--- "Scott J," <jscott@planetinternet.be> 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


^ 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;
as well as URLs for NNTP newsgroup(s).