On 10/27/2014 5:09 PM, Allen Wirfs-Brock wrote:
>
> On Oct 26, 2014, at 8:58 PM, Brendan Eich wrote:
>
>> Allen Wirfs-Brock wrote:
>>> Arguably a design bug, rather than a spec. bug.  But I'm assuming that who ever originally wrote up these algorithms were being intentional about such things.
>>
>> Design, vs. accidental. Spec, vs. implementation. Potato, Potahtoe :-P.
>>
>> I think we should fix 'em as we find them, if implementations do not agree (and they don't usefully agree here).
>
> I probably wasn't clear about the central issue:
>
> unshift and other array methods are generic methods that work the same on any object that has a 'length' property and "array index" properties.  When implemented as currently specified they produce consistent predictable results across for any such object, even if specified error conditions occur.
>
> There are many ways that a particular kind of "array-like" object can constrain their 'length' property.  There could be limits built into [[Get]]/[[Set]]  (this is how exotic Arrays work), or the 'length' property might be readonly, or the 'length' property might be an accessor property that constrains the length value algorithmically, or the object might be a Proxy whose handler does whatever.
>
> Given all of these alternatives, we currently don't have any single generic way to predetermine if 'length' extending operations such as unshift/splice will run into 'length' restrictions in the course of executing their generic algorithm.  We might invent such a thing (perhaps a @@maxLength property).  But that isn't  a bug fix, that is a significant design change.
>
> Allen
>
>

Somewhat related: Does it make sense to check if the length will exceed the 2^53-1 limit? And is 
ToString(9007199254740993) properly defined, where 9007199254740993 is a mathematical real number as 
defined in "5.2 Algorithm Conventions". As I understand it, ToString (7.1.12) is not defined for 
arbitrary numbers, but only for the Number type ("6.1.6 The Number Type").

A simple example where this issue arises:
---
var a = {length: Math.pow(2,53)-1};
Array.prototype.push.call(a, ..."abc");
print(a["9007199254740991"]); // ?
print(a["9007199254740992"]); // ?
print(a["9007199254740993"]); // ?
---


Thanks,
André

Somewhat related: Does it make sense to check if the length will exceed the 2^53-1 limit? And is 
ToString(9007199254740993) properly defined, where 9007199254740993 is a mathematical real number as 
defined in "5.2 Algorithm Conventions". As I understand it, ToString (7.1.12) is not defined for 
arbitrary numbers, but only for the Number type ("6.1.6 The Number Type").

A simple example where this issue arises:

```js
var a = {length: Math.pow(2,53)-1};
Array.prototype.push.call(a, ..."abc");
print(a["9007199254740991"]); // ?
print(a["9007199254740992"]); // ?
print(a["9007199254740993"]); // ?
```