Has anyone looked at, proposed, implemented object immutability?
Obviously, it would require a VM change.

It would make database proxy objects a bit easier, because they could be
marked immutable to throw an exception during the first write, so they could
be marked dirty (and then mutable) to write back before finalization.

I know VWST has something like this, and I think GemStone does as well.

-- 
Randal L. Schwartz - Stonehenge Consulting Services, Inc. - +1 503 777 0095
<merlyn at stonehenge.com> <URL:http://www.stonehenge.com/merlyn/>
Smalltalk/Perl/Unix consulting, Technical writing, Comedy, etc. etc.
See http://methodsandmessages.vox.com/ for Smalltalk and Seaside discussion