On Fri, Apr 20, 2012 at 12:56, Edward Z. Yang <ezyang@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@gmail.com
wandering unix systems administrator (available) (412) 475-9364 vm/sms