"containing" memory-consuming computations

Brandon Allbery allbery.b at gmail.com
Sat Apr 21 01:31:54 CEST 2012

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>

More information about the Glasgow-haskell-users mailing list