<div dir="ltr">On Fri, Apr 20, 2012 at 12:56, Edward Z. Yang <span dir="ltr">&lt;<a href="mailto:ezyang@mit.edu">ezyang@mit.edu</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
So, it would be pretty interesting if we could have an ST s style<br>
mechanism, where the data structure is not allowed to escape.<br>
But I wonder if this would be too cumbersome for anyone to use.<br></blockquote><div><br></div><div>Isn&#39;t this what monadic regions are for?</div></div><div><br></div>-- <br>brandon s allbery                                      <a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a><br>
wandering unix systems administrator (available)     (412) 475-9364 vm/sms<br><br>
</div>