ブルース・エッケルの強い型付け vs. 強いテスト（http://www.mindview.net/WebLog/log-0025）の日本語訳をBEST SOFTWARE WRITINGで読んだ。 静的型チェックでチェックできることは文法レベルのことであって、実際に正しく動くかどうかはテストしなければ分…