いやさあ、型チェックのおかげで検出できるバグってどの程度のものか、
とか思うわけよ。
参照透過性を確保する方がバグをなくすのに貢献するというのが俺の実
感なんだけど、みんなはどうかなあ、とか。
というか、参照透過性を確保するようにコードを書くと、型の問題が小
さくなりません？　とか思うんですが。