そうだよね。
だから無理やり動的型付け言語に、型判別（型推論）をつけようとすると
RPythonみたいに1つの変数に対して2つの異なる型を束縛することを許可しません。
ってなっちゃうわけだ。