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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andrej Bauer <Andrej.Bauer@f...>
Subject: Re: [Caml-list] Which control structure?
oleg@pobox.com wrote:
> In almost all useful circumstances call/cc appears in combination with
> store -- which is a dead give-away that we are dealing with delimited
> continuations.

I suspected that much, and hoped for a reply from you :-)

> The following code does compute (p false, p true) by
> really entering p only once (but exiting it twice).

Excellent, thank you.

> The argument to p must be a thunk, so we are able to enter p, or to get p to swallow the
> hook.

This is not a problem because in my actual non-simplified problem p is a 
functional of type (int -> bool) -> bool. Now let me see if I can apply 
delimited continuations in the non-simplified version. Thank you again!

Andrej