[Caml-list] Callcc

[Caml-list] Callcc

[Scott J,]

[-- 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 --]

Re: [Caml-list] Callcc

[Noel Welsh]

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

Re: [Caml-list] Callcc

[MONIN Jean-Francois FTRD/DTL/LAN]

[-- 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 --]