>>169
型チェックが走るかどうかが問題なのではなくて、
それがいつ走るかが問題なのでは？

いずれ走るのであれば、型チェックはやっぱり
必要ということだろう？