コーディングのバグ取りは

証明の間違い探しとよく似ている。どうしてもやらなければならないけれど、徹頭徹尾爽快感のない作業な点であることとか。ついでに、厳格な型付き言語でプログラムをしている場合、型チェックに合格すると仕事が終わった気になるが、だからといってプログラムが意図した通り動くかどうかは全くの別問題だ。