[plt-scheme] pseudo statics

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

--hsm

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
>