On Sat, Jan 5, 2013 at 3:44 PM, Jonathan S. Shapiro <[email protected]> wrote: > 1. Certain parts of the object will not change for the remainder of the > object's lifetime. The cases that seem *useful* seem to be closely related > to notions of typestate.
i am very ignorant of all this, but another thread that mentioned alternatives to typestate (i am going by ascii pattern matching, not by any real understanding of the terms or issues involved): http://groups.google.com/group/pilud/msg/94122c565790572f sincerely. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
