[plt-scheme] contract for dynamic context/state

Are Jesse's affine-universal interface contracts exactly of this kind (where expr includes a side-effect)? I believe he played with such contracts in Scheme -- Matthias



On Apr 28, 2010, at 9:49 PM, Ryan Culpepper wrote:

> Has anyone written a contract form for "procedure that may only be called when <expr> is true"?
> 
> Ryan
> _________________________________________________
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-scheme