[racket] discarding initialization with delay + reset

From: Eli Barzilay (eli at barzilay.org)
Date: Mon Oct 18 11:00:03 EDT 2010

Four hours ago, Keiko Nakata wrote:
> Hello,
> 
> Can I regard this behavior as intended semantics?

Yes.


> 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.


> 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))

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!


Posted on the users mailing list.