RubyもPython も言語仕様に静的型を全面導入しても問題なさそうだが。