On Mon, Jul 21, 2014 at 10:52 AM, Sandro Magi <[email protected]> wrote:
> On 21/07/2014 12:25 AM, Jonathan S. Shapiro wrote: > > The problem with that is: if allocation and initialization are not > > fundamentally merged, you lose memory safety. > > You just need linearity to track the uninitialized locations, so it > doesn't necessarily lead to unsafety. > True. Unfortunately linearity is unusable in practice.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
