Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2002-09-16 (10:07)
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
> 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