I'm looking forward to seeing the rest of this train of thought. One question, though:
Mark Miller has argued that mutability within a data structure is a matter > of protecting internal integrity, and that expressing things as constraints > on mutability is therefore the wrong model. Wrong in what sense? Insufficiently expressive, or conceptually at the wrong level, or just fundamentally the wrong notion for providing encapsulation and integrity? The obvious next question is: what's the right model for enforcing encapsulation?
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
