typed objects and value types

Dmitry Lomov dslomov at chromium.org
Wed Apr 2 13:29:08 PDT 2014

On Wed, Apr 2, 2014 at 10:17 PM, Mark S. Miller <erights at google.com> wrote:

> However, I have to quibble with "observable". WeakRefs make GC observable.
> WeakMaps do not. Running out of memory, or failing to, is not an
> observation, since the spec never says when this might or might not occur
> anyway. In fact, the spec as written is only faithfully implementable on a
> machine with an unbounded amount of memory ;). (I regret the missed
> opportunity to discuss test262 and infinite machines on April 1)

:) Agreed on all counts.
"Observable" in a sense of "from practical standpoint, programmers will try
to reason about it, so we should not make their reasoning hard" (or "harder
than necessary") [not a quantifiable argument indeed!].

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20140402/4076476c/attachment.html>

More information about the es-discuss mailing list