<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Dec 12, 2015 at 1:16 PM, Nathaniel Waisbrot <span dir="ltr"><<a href="mailto:nathaniel@waisbrot.net" target="_blank">nathaniel@waisbrot.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">However, it would _never_ be a good idea to depend on that behavior.</blockquote></div><br>This would be my bet too. One could easily imagine a future in which garbage collection would compress data down and simplify the heap. This could mean reordering in hash-like structures such as HAMT. Another case could be to solve highly colliding terms by running a hash family and rehashing in certain situations. If your code relies on the order, the design space is much smaller than it is right now.<br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">J.</div>
</div></div>