束縛されているかどうか

Scheme

昨日、add-nをdefineするときにエラーにならなかった。
何故なのか、ド素人なりに考えてみた。


lambda式を評価して手続きオブジェクトを作成するとき、出現した変数が束縛されているか否かは、トップレベルまで見に行けば決定できる。

(define mul
  (lambda (n)
    (lambda (m) (* n m))))

とか考えると、

(lambda (m) (* n m))

だけを見ると、nは束縛されていないように見えるけど外側のlambdaで束縛されてるから、OKみたいな。


だから、やっぱりエラーにすることは出来るような気もするけど、現時点では、僕の良く分からない大人の事情があるのだと思っておこう。


そもそも変数はどこかで束縛されているべきで、束縛されていない変数がソースコード中に出てくることは間違い。
だからλ抽象の段階ではチェックしない。
...そういうことなのかな。