"containing" memory-consuming computations

[Brandon Allbery]

On Fri, Apr 20, 2012 at 12:56, Edward Z. Yang <ezyang at mit.edu> wrote:

> So, it would be pretty interesting if we could have an ST s style
> mechanism, where the data structure is not allowed to escape.
> But I wonder if this would be too cumbersome for anyone to use.
>

Isn't this what monadic regions are for?

-- 
brandon s allbery                                      allbery.b at gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120420/3c761b36/attachment.htm>