2012/10/10 David Bruant <[email protected]> > About making the restriction for membranes "official" could be done by > introducing "branded proxies" which output values (through > get/getOwnPropertyDescriptor/getPrototypeOf... traps) would also be > "branded proxies" (with the same brand). Brand validation would be > performed to ensure graph isomorphism. It ensures that you deviate from the > exact target, but only with a given proxy and only because you're coming > from a branded proxy (and not for no reason). > > I have given more thoughts to this idea.
Proxy.branded(brand, target, handler) // brand is a symbol The trap invariants would not rely on SameValue for object equality anymore, but if an object is returned from a trap, it has to be *the unique* proxy created of off the (brand, target) pair instead of what happens currently where it has to be the target (which is the unique object which identity is equal to the target's identity). The invariant can be implemented with a weakmap of weaksets and each test is at worst 2 lookups (one on the weakmap, the other on the weakset), so O(log(NumberOfTargets*NumberOfBrands)). Arguably heavy-weight, but I don't think it can be made better. Having this uniqueness invariant is what enforces graph isomorphism. In a nutshell, unlike the current proposal, traps can still return proxies, but it has to be the exact proxy that can be returned is decided in advanced, pretty much like the current invariants where there is no choice on the object to be returned. What I'm proposing, just shifts which the set of objects from the targets set to a particular set of proxies. Proxy.branded.bind(someBrand) would create a new Proxy constructor somehow specialized to create a membrane. David
_______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
