<br><br><div class="gmail_quote">On Tue, Jun 8, 2010 at 9:15 AM, Andreas Raab <span dir="ltr"><<a href="mailto:andreas.raab@gmx.de" target="_blank">andreas.raab@gmx.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><br>
On 6/8/2010 7:41 AM, David T. Lewis wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
What do the VM developers think with respect adopting the VM changes?<br>
The immutability bit is a scarce resource. Is it OK to allocate it<br>
for this purpose or are there likely to be other projects interested<br>
in using it for other reasons?<br>
</blockquote>
<br></div>
Honestly, I don't thinnk the immutability bit carries its weight here. There's some fun stuff you can do with it, for sure, but outside of *extremely* specialized applications (oodbs) there will be little to no use for it. At least I don't see where you'd make use of immutability in some random app that's not a database. If it were essentially free to add it, I wouldn't mind (like I said there's fun stuff that one can do) but given that we're talking about allocating a header bit I feel that there's just not enough mileage we get out of it...<br>
</blockquote><div><br></div><div>It's much more general purpose than OODBs. Immutable literals and immutable numerics are very nice to have. Lazy copying in mutable structures is useful in general. A number of other dialects have an immutability bit and it has carried its weight there. The header bit might as well be used for something useful. The argument that it's scarce resource can be used against any and all uses, and as has been mentioned elsewhere in the thread, that should be a relatively short-term limitation anyway. </div>
<div><br></div><div>In short, scarce resource issues such as header bits are solvable (by reimplementing to make more available), immutability is much more generally useful than OODB interfaces, so (at least form me) this is good use of something lying fallow.</div>
<div><br></div><div>best</div><div>Eliot</div><div><br></div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Just my random $.02.<br>
<br>
Cheers,<br><font color="#888888">
- Andreas<br>
</font></blockquote></div><br>