This proposal is complete and already merged into ECMA262 specification. See the specification text here. Thanks for help and feedback on this effort from Brendan Eich, Waldemar Horwat, Jaro Sevcik, ...

TAJS is a dataflow analysis for JavaScript that infers type information and call graphs. The current version of the analysis contains a model of ECMAScript 3rd edition, including the standard library, ...

Haos blong yu hem i olsem wan sef ples blong yu, be olsem wanem sapos wan samting i hapen? Ol busfaea, stom mo flad i save kam long eni taem. Bambae insurens polisi we yu gat i save helpem yu? Bae ...