typed objects and value types
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...
More information about the es-discuss