2011-01 << 2011-02 >> 2011-03

2011-02-02 (水)

*PHPの静的解析

仕事の合間に(?)rubyでPHPのパーサー書いて簡単な型チェックをするプログラム書いたりした.

真面目な型推論とかは面倒だし良くわからないので,PHPDocのコメントと代入と関数の引数と戻り値だけ処理して型を予測してみる.

試しに20万行くらいのPHPのコードを入れてみると,それなりにいろいろ出てきた.

正直,引数が多すぎるときとか警告出ない方がおかしいと思うのだけど,PHP様は謙虚なので何も言ってくれない.

2011-01 << 2011-02 >> 2011-03