brendan at mozilla.com
Fri Sep 16 07:04:11 PDT 2011
On Sep 16, 2011, at 1:55 AM, Andreas Rossberg wrote:
> Being able to detect when a condition is violated is not equivalent to
> knowing that it always holds.
Yes, this is the point I mangled in that "dynamic is necessary [in JS] ... and gives strictly more information (and more relevant information!)" sentence. I should have written "static+dynamic gives strictly more information."
Sorry about that -- not a profound point, but something that came out in the exchange John J. Barton and I had about static program analysis not being enough. It's not enough, but it can do a lot with dynamic analysis in partnership.
More information about the es-discuss