Hello, I'm glad to see, that someone will help to carry this thematic forward :-), thank you. At the moment I've implemented an Handler trap for the ScriptedDirectProxies, which is used for the StriclyEqual and LooselyEqual operations in the Interpreter.cpp. These functions are mostly used for the comparisms as I know. By implementing this trap in a JavaScript handler it is at the moment possible to compare various proxies with same targets, which leads to true as result. If no handler is implemented or the handler is implemented with return value false, the proxy is opaque with same behavior like bevore. Last I've changed the behaviour of WeakMap (later Map and Set) to get the same results. Transparent proxies (projections) are inserted with the hash of the target. Only one entry for target and it's transparent proxies is inserted. Opaque proxies are inserted like bevore. Now I'm testing the WeakMap part. If I have enough time, I try to look after the JIT optimizations, which negate my work after 10 loop iterations. But this part is complicated.
Yours Andreas Am 27.12.2013 13:47, schrieb Philip Wadler: > This thread has gone dead. I am excited at the prospect that > JavaScript might support proxies for contracts if a suitably > expressive 'sublanguage of projections' can be isolated. Is there any > progress? How can I help carry this forward? Yours, -- P > > . \ Philip Wadler, Professor of Theoretical Computer Science > . /\ School of Informatics, University of Edinburgh > . / \ http://homepages.inf.ed.ac.uk/wadler/ > > > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. _______________________________________________ dev-tech-js-engine-internals mailing list dev-tech-js-engine-internals@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-tech-js-engine-internals
