Rogue Engineer's Diary / やさぐれ日記

■ [Modern Compiler Implementation in ML] 丸々一年経ってしまった

"mciML"を2003年11月29日に読み始めてから、丸一年が経過した。当時の日記には

SICPに行く前に少し寄り道…といいつつ、またスブズブとはまりそうな予感。

と書いてあるが、その予想通りどっぷりとハマっている。今回は引き続きLiveness Analysisの解析部分のコーディング。まずは214ページにある

というアルゴリズムをこんなカンジでプログラムとして組み上げる。プログラム中、getSetFromTbl()とmakeSet()という二つの似た関数が並んでいるのがどうにも気に入らないが、無理に共通化しようとすると逆に分かりにくくなるのでそのままにした。来週はどこまで進むだろうか。