]>> 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.). i haven't tried ats much at all. the ddc thesis paper i think said that all the sigils used to mark all the effect types, linear types, whatever, all ended up making the ascii nasty. dunno how much that is inherent or just due to how ddc approached it. i used concurrent clean once. once. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
