On Mon, Jul 21, 2014 at 10:35 PM, Raoul Duke <[email protected]> wrote:
> ]>> 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. > > ok, i can believe there's evidence for all sorts of things that > mainstream programmers can't handle. at least until a better approach > to whatever-they-can't-handle is found. or, until they see the need. > or, until it is forced upon them through a language they've already > bought into (java, c++, etc.). Fair enough. But in this case the impediment is well-motivated and insurmountable. Real programs require joins. Linear types do not permit joins.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
