On 14 September 2011 00:00, Brendan Eich <bren...@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. /Andreas _______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss
