動的型付言語でも「ランタイムで型に関するエラーは起きない」世界が実現されているが？
というとメソッドが見つからないとか言う厨房がいるが、
それは静的型付言語で空リストの先頭要素を取り出そうとして例外が発生するのと
どう違うのだ？
ゼロ除算して例外が発生するのとどう違うのだ？

結局、静的型言語ユーザがいう「ランタイムで型に関するエラーは起きない」というのはマッチポンプでしかない。