typed objects and value types

[Dmitry Lomov]

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!].

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