>>48
動的スコープは、Schemeなら簡単なマクロで書けるでしょ。

でも、名前がうっかりぶつかるとプログラムが壊れるから不便だよね。
＞動的スコープ。

やっぱりλならα変換ルール（束縛変数の名前を変えても意味が変わら
ない）が成り立ってくれないと…