静的型付けで型エラーが排除できても、
論理的なミスが残っている可能性は残る
その辺は「動かせば分かる」、というのが動的言語の方法論
どちらが良いとか言うつもりはない