(changed subject to fork off discussion on function proxies)<br><br><div class="gmail_quote">2011/8/29 Allen Wirfs-Brock <span dir="ltr"><<a href="mailto:allen@wirfs-brock.com" target="_blank">allen@wirfs-brock.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>On Aug 27, 2011, at 6:12 AM, Andreas Rossberg wrote:<br> > True, and actually, there are more issues with length & function<br>
> proxies. I don't have my notes with me right now, but for example, it<br>
> is not clear at all what length Function.prototype.bind should set<br>
> when called on a function proxy. 0? 1? Should it try to get the length<br>
> property from the proxy and subtract N? What if length is not defined<br>
> on the proxy, or not a (natural) number?<br>
<br>
</div>The ES5.1 spec.  defines how how bind determines the length for the function it creates based upon the length property of the target function.  I would expect the same rules would apply when the target is a function proxy.</blockquote>

<div><br></div><div>I see two options here:</div><div>a) either query the function proxy for its "length" property via its "get" trap, and convert the result using ToInteger, introducing a new error case if the conversion fails.</div>

<div>b) or determine "length" based on the function proxy's call trap (which is presumably a non-proxy function. If it is a function proxy itself, recurse)</div><div><br></div><div>The spec currently uses the wording: "Let L be the length property of Target ..." (ES5.1 section 15.3.4.5)</div>
<div>If that is not equivalent to "Let L be the result of calling the [[Get]] internal method of Target with argument "length"", then option b) seems better.</div><div><br></div><div>There is precedent for using the call trap as a substitute for the function proxy: Function.prototype.toString.call(aFunctionProxy)  will also use the call trap's toString representation rather than trapping the handler.</div>

<div><br></div><div>Cheers,</div><div>Tom</div></div>