>>694
破壊も何も、名前の束縛こそ本質。
そのコードはf()を呼び出したときにxが再評価されてるだけだよ。

もちろん、実装としては中身の置き換えだけど、概念としては。