You don't GC at all at the VAT layer, so explicit reclamation of vats is orthogonal to GC questions.
On Thu, Mar 5, 2009 at 1:24 PM, Mark Miller <[email protected]> wrote: > On Thu, Mar 5, 2009 at 6:11 AM, Jonathan S. Shapiro <[email protected]> wrote: >> MarkM: it does not assist the discussion to confuse the issue by >> conflating two distinct levels of abstraction. Operations at the VAT >> level occur outside of the E language level. Your statement is not a >> counter-example. > > It does not. E is designed from the beginning as a distributed > language. Vats, far references, remote promises, and the possibility > of partition are all part of the E language and semantics. The > implementation is layered, but so what? > > -- > Text by me above is hereby placed in the public domain > > Cheers, > --MarkM > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev > > _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
