since people mention rust & typestate so often 'round these parts :-)
http://pcwalton.github.io/blog/2012/12/26/typestate-is-dead/ _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
