<div dir="ltr">Hi David,<div class="gmail_extra"><br><div class="gmail_quote">On Wed, Apr 4, 2018 at 5:30 PM, David T. Lewis <span dir="ltr"><<a href="mailto:lewis@mail.msen.com" target="_blank">lewis@mail.msen.com</a>></span> wrote:</div><div class="gmail_quote">[snip]</div><div class="gmail_quote"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Unfortunately, we have no way of marking globals as "deprecated", but<br>
if we had such a thing, I would say the World is deprecated but retained<br>
for convenience.<br></blockquote><div><br></div><div>Hmmm, that's really interesting. In VisualWorks, variable bindings are not dereferenced directly, but instead sent value and value:.  This makes it possible to deprecate globals.  I'll put making a modification to the VM on the list which would be something like implementing a special kind of lookup cache for dereferencing bindings that would become proper sends for "exotic" kinds of binding.  Then we could add DeprecatedBinding and one would be able, as one should, to deprecate bindings.</div><div></div></div><div class="gmail_extra"><br></div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div>
</div></div>