Schemeの実装におけるスタックフレーム(Draft)

図もあって冷静に読めばわかりやすい

その関数が(任意のタイミングで)誰に呼ばれるかは実行時でないとわからないので

その関数が終了し、復帰する際にdynamic link内の値を見て、元の

その関数が、どこで定義されているかはコンパイル時にわかるので

そのおかげで定義時周辺のローカル変数にアクセスできる

例えば上の記事にあるこのコードでは、

(define (A a1 a2)
  (let ((a3 (+ a1 a2)))
    (define (D e1) (+ a3 e1))
    (B arguments)
    (C D)))

という、A内のローカル変数が使われている

DをC内で読んだとしてもstatic linkを利用することでこの

にもアクセスすることが出来る

Schemeの例のように実装したらどういう利点があるのか

なぜわざわざこのように実装するのか

利用者が得するのか、処理系実装者が得するのか