JavaScriptの型推論

• Title: Type Inference for JavaScript
• Author: Christopher Lyon Anderson
• URL: http://pubs.doc.ic.ac.uk/chrisandersonphd/chrisandersonphd.pdf
• pages: 186ページ

これは学位論文らしい。長くて読む気がしない。

• Fast and Precise Hybrid Type Inference for JavaScript
• http://people.mozilla.org/~lmesa/ti-draft.pdf
• mozilla.org の lmesaさん（詳細不明）
• pages: 10ページ

firefoxの推論エンジンについて書かれている。Hybrid Type Inference てのは静的と動的を組み合わせること。静的な推論がけっこうイイカゲンだけど、そのほうが実用的だ、みたいな話かな？

• JavaScript type inference
• http://www.ccs.neu.edu/home/dimvar/jstypes.html

オンラインで試せるJavaScriptの自動型付け。精度がイマイチな気がする。