En effet c'est intéressant. L'article "Fast and Precise Hybrid Type Inference for JavaScript" parle (dans l'abstract) de l'utilisation de "run-time barriers", ce qui me semble relié à l'idée dont on a parlé hier de reporter l'analyse au "run-time" des parties de code qui "polluent" l'analyse statique.
Maxime, pourrais-tu regarder cet article et en faire un sommaire mercredi prochain?
Marc
On 2011-11-25, at 3:59 PM, Bruno Dufour wrote:
Le message ci-dessous a été envoyé à la liste js-tools. Les travaux de Brian Hacket sont intéressants pour beaucoup d'entre nous.
Bruno
Begin forwarded message:
From: "Claus Reinke" claus.reinke@talk21.com Subject: [js-tools] Two papers on JS type systems in practice Date: 25 November, 2011 11:19:58 AM EST To: js-tools@googlegroups.com Reply-To: js-tools@googlegroups.com
Brian Hacket talks about
Type Inference brings JS improvements to Firefox Beta http://blog.mozilla.com/futurereleases/2011/11/10/type-inference-to-firefox-...
mentioning a draft paper on the implementation:
Fast and Precise Hybrid Type Inference for JavaScript http://people.mozilla.org/~lmesa/ti-draft.pdf
and a team from University of California, Adobe and Mozilla has published at the Dynamic Languages Symposium 2011
The Impact of Optional Type Information on JIT Compilation of Dynamically Typed Languages http://www.masonchang.com/storage/papers/dls05-chang.pdf
Dlteam-list mailing list Dlteam-list@iro.umontreal.ca https://webmail.iro.umontreal.ca/mailman/listinfo/dlteam-list