[plt-scheme] pseudo statics

From: Hugh Myers (hsmyers at gmail.com)
Date: Wed Jul 1 20:03:10 EDT 2009

Matthias, you mean Small bisimulations for reasoning about
higher-order imperative programs? I can't find any versions except
those I would have to pay for. Any others?

Jens, looks even more interesting--- if a bit over my head. I was
thinking this might be idiomatic and was wondering about
initialization and resetting...


On Wed, Jul 1, 2009 at 5:06 PM, Jens Axel Søgaard<jensaxel at soegaard.net> wrote:
> Hi Hugh,
> 2009/7/1 Hugh Myers <hsmyers at gmail.com>
>> Somewhere is a discussion about code like:
>> (define counter
>>    (let ((a 0))
>>      (lambda ()
>>        (set! a (+ 1 a))
>>        a)))
>> I just can't remember where! Anyone have any useful pointers or such?
> Is this it?
> http://schemecookbook.org/Cookbook/IdiomSharingState
> --
> Jens Axel Søgaard

Posted on the users mailing list.