V8 Crankshaft Overview 1.3 documentation Welcome to V8 Crankshaft Internals’s documentation!
Jason Morrison SoC 2006: Type Inference in Ruby This page is an archive of Jason Morrison's Google Summer of Code 2006 Participation: Type Inference in Ruby. My Typo installation creaked to a halt, the database was corrupted during an attempt to upgrade, and I've been unable to revive the blog as a whole; however, this static copy can hopefully serve as a future reference to my work. Unfortunately
JS 実装をしようかな、と思い立ち、 まずは型推論の知識をしっかり取得するところから初めようと考えています. そもそも、型推論とはなんぞや、というところからおさらいしてみます. 私が型推論について知りたいことの一番の目的は、 「型推論を行うことで動的言語の事前コンパイルを可能にしプログラムの実行を早くすることができるのではないか」, ということになりますので、それに特化した内容になっています. もちろん型推論には、プログラムを早くするという以外の目的もありますが、 ここではそれらは取り上げないことにします. 型推論(type inference)とは、簡単に言うと、 var muda = 7 というコードがあったら、 「変数 muda って Int 型(整数型)じゃね?」 とコンパイラがよろしく変数の型を決定してくれる(推測してくれる)機能になります. 静的な関数型言語(Ocaml, Ha
型推論に興味はあるけど、抽象的な説明が多く難しそうだと思っている方々。基礎的なことを押さえておけば、型推論器は簡単に実装できます。 ここでは、私が JavaScript で書いた型推論器を例に、型推論の基本的なアルゴリズムの一例を具体的に説明していきます。解説対象は、ibis-js-1.0.0です。 型推論の可視化ツールを使いながら読むとよりわかりやすいかもしれません。 目次 型変数と単一化 多相型 let と let rec バリアント型
TAJS is a program analysis tool that can infer detailed and sound type information for JavaScript programs using abstract interpretation. Read the papers: Type Analysis for JavaScript (presented at SAS'09) [abstract | PDF | BibTeX] Interprocedural Analysis with Lazy Propagation (presented at SAS'10) [abstract | PDF | BibTeX] Modeling the HTML DOM and Browser API in Static Analysis of JavaScript We
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く