Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] Callcc
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: MONIN Jean-Francois FTRD/DTL/LAN <jeanfrancois.monin@r...>
Subject: 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