== Quote from Sean Kelly (sean at f4.ca)'s article > Transactions are another idea, though the common > implementation of software transactional memory > (cloning objects and such) isn't really ideal. Would genuine compiler guarantees regarding const (or invariant, or final, or whatever it's called today) reduce the need for cloning?