On Sat, Jul 27, 2013 at 1:29 PM, Jonathan S. Shapiro <[email protected]>wrote:
> The *disadvantage* of first-class regions is that you have an explicit > new() operator. This can lead to unbounded allocation within the region > (e.g. inside a *for* loop), and in turn can induce a requirement for > region-by-region GC. > I suppose this makes me wonder about weak regions, which seems somewhat conflating issues as typically you consider weak references (not weak objects). but if one can surmise that if the references to a region are only weak, you could at least avoid the regionional gc there, this appears a failure to satisfy the LIFO lifetime guarantees of regions, but by only making weak references to a region, one seems declare ambivalence towards the constraints those properties satisfy.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
