On Mon, Jul 21, 2014 at 8:54 PM, Raoul Duke <[email protected]> wrote:
> >> 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 > Yes. There is empirical evidence that mainstream programmers can't deal with linear types.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
