rossberg at google.com
Thu Sep 15 09:02:39 PDT 2011
On 14 September 2011 00:00, Brendan Eich <brendan at mozilla.com> wrote:
> So, static+dynamic. The static side has some powerful algorithms to bring to bear. Dynamic is necessary due to eval and kin, and gives strictly more information (and more relevant information!).
Nitpick: I believe you are mistaken about the "strictly more" bit.
There is information that _only_ static analysis can derive. Consider
e.g. aliasing or escape analysis, or other kinds of global properties.
More information about the es-discuss