2011-02-02 (水)
*PHPの静的解析
仕事の合間に(？)rubyでPHPのパーサー書いて簡単な型チェックをするプログラム書いたりした．
真面目な型推論とかは面倒だし良くわからないので，PHPDocのコメントと代入と関数の引数と戻り値だけ処理して型を予測してみる．
試しに20万行くらいのPHPのコードを入れてみると，それなりにいろいろ出てきた．
正直，引数が多すぎるときとか警告出ない方がおかしいと思うのだけど，PHP様は謙虚なので何も言ってくれない．
*Google Mapsアプリ
チェックイン機能が付いてた．400mくらい離れたら自動的に外れたけど，距離を見てるのかな．
*IPv4
IANAが持っていた未割当のブロックが尽きたみたいですね．
まぁ，新規にアドレスを割り当てられなくなっても，しばらくは既存のアドレスをやりくりしてどうにかできるので，急に何かは変わったりはしない気もする．
近いうちに，割り当て済みのIPv4アドレスが売買されるようになって，ISPとかもグローバルIPアドレスは別料金とかになるんじゃないかなぁ．そうなってくると，今度こそIPv6が普及し始めたりするのかも．