>> You just need linearity to track the uninitialized locations, so it >> doesn't necessarily lead to unsafety. > True. Unfortunately linearity is unusable in practice.
is that the same thing as linear types? http://lambda-the-ultimate.org/node/3932 http://bluishcoder.co.nz/2011/02/27/linear-datatypes-in-ats.html _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
