静的スコープと無限エクステント

変数は一番近い束縛を見る

全ての変数の寿命は無限
         その変数が以降絶対にアクセスされない
         と証明できる場合は回収可