>>831
> 1つの変数に対して2つの異なる型を束縛することを許可しません。

MLでは変数の再束縛出来るけど、大抵の静的型付け言語じゃこんなこと出来ないだろ？
お前の大好きなJavaでも出来ないじゃん。