えーと、見つかるのが早いか遅いかが
争点になってますが、何で早くみつけなきゃいけないの？

静的言語だと、型の不一致が見つかったら
下手すりゃクラス構造とかの設計まで見直す必要が出てきて
修正が大変になるから早く見つかった方が良いだろうけど、
動的言語なら何時見つけても修正の手間は一緒だぞ？