[racket] discarding initialization with delay + reset

From: Keiko Nakata (keiko at kurims.kyoto-u.ac.jp)
Date: Mon Oct 18 12:18:28 EDT 2010

>> I speculate that an operation of 'update x1' is captured therefore
>> discarded.  But how this is implemented?  Do you have a reference
>> implementation or something that I can consult?
>
> Do what Matthias suggested -- but the code in question is pretty
> tricky.  You can also browse the srfi-45 archives for more
> information.

Thanks for the info.

>> Sorry for my making-no-sense examples. --- I get inspiration from
>> Racket to engineer my language :)
>
> An easier example would be
>
>   (force (letrec ([x (delay (force x))]) x))

Yep. This is a black hole due to premature access to an uninitialized variable. 
I was interested in interaction between delay and (delimited) continuation, 
e.g. what are captured contexts.

Keiko 


Posted on the users mailing list.