> Fair enough. But in this case the impediment is well-motivated and > insurmountable. Real programs require joins. Linear types do not permit > joins.
(i'll hope to go really read and learn enough about types to know how to parse that, since google didn't tell me what "joins" are in this context, so i can learn if linear typing is therefore silly in e.g. ats :-) _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
