>>1のコードだと、指摘したい内容に対して微妙に噛み合ってないような
実行前に（変数の）型が決まっているかどうかと
変数に型を持たせられるかどうかは、厳密には別の話だよね

大抵の動的言語は変数に型がないから、端的に示すには十分なんだろうけど