>>607
> そうすると静的型付け言語よりも面倒になるから

そんなことないよ。
型アノテーションの仕組みを仕込めばいいだけ。
静的型言語で動的型的なことをするほうが遥かに面倒。