<div dir="ltr"><div><div dir="auto">There are obvious limitations given the masking/ overwriting of the default implementation, but are these limitations not also true for other symbols like <span class="gmail_default" style="font-family:georgia,serif;font-size:small">`</span>Symbol.hasInstance<span class="gmail_default" style="font-family:georgia,serif;font-size:small">`</span>? If overwritten (including in a prototype chain), it then masks the original behavior of the <span class="gmail_default" style="font-family:georgia,serif;font-size:small">`</span>instanceof<span class="gmail_default" style="font-family:georgia,serif;font-size:small">`</span> operator. Symbols are one way to do this more explicitly and without the caveats of needing to use a Proxy everywhere.</div><div dir="auto"><br></div><div dir="auto">Any symbol that allows for reconfiguring/ overloading an operator risks breaking the assumptions about how that operator is supposed to behave. Perhaps I’m not understanding some way this is different/ more significant for overloading the <span class="gmail_default" style="font-family:georgia,serif;font-size:small">`i</span><span class="gmail_default" style="font-size:small">n</span><span class="gmail_default" style="font-family:georgia,serif;font-size:small"></span><span class="gmail_default" style="font-family:georgia,serif;font-size:small"></span><span class="gmail_default" style="font-family:georgia,serif;font-size:small">`</span> operator than say <span class="gmail_default" style="font-family:georgia,serif;font-size:small">`</span>instanceof<span class="gmail_default" style="font-family:georgia,serif;font-size:small">`</span> or the spread operator? </div></div><div dir="auto"><br></div><div dir="auto"><div class="gmail_default" style="font-family:georgia,serif;font-size:small">Perhaps a more reasonable use case than prototyping String would be a user-defined, iterable data structure like an unrolled linked list?</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">Even with `Proxy` this is not possible unless we wrapped all constructor calls.</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">```js</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">class UnrolledLinkedList {</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">  constructor(nodeCapacity = 8) {<br>    // ...<br>  }</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br>  [Symbol.inObject](index) {<br>    return (index >= 0 && index <= this.length)<br> }</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">let list = new UnrolledLinkedList();<br>list.add(1);</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">list.add(2);</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">list.add(3);</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">if (1 in list) {<br>  // ...<br>}<br>```</div><br></div><div dir="auto"><div class="gmail_default" style="font-family:georgia,serif;font-size:small">A developer may want to mimic the behavior of `Array`, but using a `Proxy` would require wrapping all constructor calls or calls to the `in` operator.</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">The other alternative is to set numeric properties on the list, but doing so isn't always possible for every data structure.</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">Tom</div><br></div><div dir="auto"><br></div></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 10, 2019 at 1:23 AM Claude Pache <<a href="mailto:claude.pache@gmail.com" target="_blank">claude.pache@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><br><div><br><blockquote type="cite"><div>Le 9 mai 2019 à 23:17, Tom Barrasso <<a href="mailto:tom@barrasso.me" target="_blank">tom@barrasso.me</a>> a écrit :</div><div><div style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><div dir="auto"><br></div><div dir="auto">If this Symbol were seriously considered I believe it would expand the meaning of the in operator as you’re correct, this is definitely not it’s current intention.</div></div><div dir="auto" style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><br></div></div></blockquote></div><div><br></div><div>The `in` operator has a well-defined meaning, that <i>by design</i> you can’t ignore even with the fanciest proxy. (And no, there is no hope for introducing a new mechanism that allows to overcome those limitations, since they are by design.)</div><div>Consider for example the following proxy around a String object:</div><div><br></div><div>```js</div><div>function conflateInAndIncludes(str) {</div><div>    return new Proxy(Object(str), { </div><div>        has(target, key) { return str.includes(key) } </div><div>    })</div><div>}</div><div><br></div><div>var FrankensteinFood = conflateInAndIncludes("food");</div><div><br></div><div>"foo" in FrankensteinFood // true, yeah!</div><div>"bar" in FrankensteinFood // false, yeah!</div><div>"length" in FrankensteinFood // TypeError: proxy can't report a non-configurable own property '"length"' as non-existent</div><div>```</div></div><div><div><br></div><div><br></div><div>—Claude</div></div></blockquote></div></div>