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

■ [Modern Compiler Implementation in ML] テストコード見直し(脱線編)

"オープンソースカンファレンス2005"の帰り道に藤澤さんとこんな話をした：

• 藤澤さん：「Standard MLの特徴ってどんなところですか」
• 福盛：「とにかくタイトに書けるってところでしょうかね。最初にテキトウに書き下ろした後、コードを見直していくと、どんどん小さくなっていくんですよ。極端な場合には元の大きさの3分の1くらいまでに縮められることもあります」
• 藤澤さん：「へぇ」

ちょうど手持ちのテストプログラムを見直していた最中だったので、具体例としてこれをネタに少々お話を。去年の12月ごろに、変数の依存性解析のサブルーチンをテストするプログラムを書いていたのだが、似たようなコードのコピーが続く関数が並んでいたのがどうにも気に食わず、なんとかしたいなぁと考えていた。

ということで、今週はこのテストプログラムを相手に、類似するコードを切り出しては束ねるという作業を繰り返しながら、無駄をどんどん切り取っていった。これ自体はJavaなどのプログラミング言語でもよくやる作業なのだが、MLなどの関数型言語だと、パラメータに（変数だけではなく）関数をとることが出来る、という特徴があるので、これを有効に使う。結果：

• 修正前のコード
• 修正後のコード

サイズは修正前92行に対して、修正後は40行。さすがに「3分の1まで縮められる」は大げさだったか。元のコードもとにかく冗長だったし…いや、"showDefUse"と"showInOut"の二つの関数を共通化すれば、今よりもさらに小さくできるハズだ、などと考えている間に今週は終わってしまった。寄り道もほどほどにしなければ。