Substructural typing has come a ways. When used as a basis for typestate where the linear capabilities are threaded implicitly, perhaps the patterns you're interested in might now be expressible undue developer burden:
http://www.cs.cmu.edu/~aldrich/papers/plpv2014.pdf Sandro On 21/07/2014 10:48 PM, Jonathan S. Shapiro wrote: > True. Unfortunately linearity is unusable in practice. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
