R6RS:翻訳:R6RS:11.20 Tail calls and tail contexts

R6RS:翻訳:R6RS:11.20 Tail calls and tail contexts

11.20 末尾呼び出しと末尾文脈

末尾呼び出しとは末尾文脈に現れる手続き呼び出しのことである。末尾文脈は帰納的に定義される。末尾文脈は常に特定の lambda 式について決定されることに注意。

特定の組み込み手続きもまた末尾呼び出しを行なわなければならない。 apply と call-with-current-continuation の第一引き数、 call-with-values に渡された第二引き数も、末尾呼び出しで呼び出されなければならない。

次の例では f への呼び出しだけが末尾呼び出しである。 g や h への呼び出しは末尾呼び出しではない。 x への参照は末尾文脈内にあるが、呼び出しではないため、末尾呼び出しではない。

(lambda ()
  (if (g)
      (let ((x (h)))
        x)
      (and (g) (f))))

: 上の例の h への呼び出しのような非末尾呼び出しを認識できる処理系は、それが末尾呼び出しであるかのように評価することができる。上の例では、 let 式は h への末尾呼び出しへと翻訳できる(h が期待しない個数の値を返す可能性は無視できる。なぜなら、その場合 let の効果は未規定であると明示されてい、実装系依存だからである)。


Last modified : 2008/04/03 10:07:24 UTC