テストという仕事

だるい。けど現状では必要な作業だよなぁ。こういうプログラムを書いたんだから「こう動きます」というのは、実際に確かめてみないとはっきりとは言えない。どこにどんなバグが潜んでいるか分からないし、場合によっては、プログラムは完全に正しいけど、処理系のバグで動作がおかしいということすら有り得る。とは言え、全てを網羅することは当然できないので、どれだけテストをしても、やっぱりはっきりと「こう動きます」とは言えない。

誰か早く Coq で HTTP サーバとアプリケーションサーバと RDBMS 書いてくれないかなー

まあ、そんなことしても、IEの挙動とか、乗っかるOSについての記述が正しいかどうかは、人が確かめるしかないんだろうけど。