注意

再帰関数の説明では「関数だけは自分自身を使って定義できる」と述べ、define,lambaの説明では「関数定義は変数定義のような形の省略形」と述べた。ここに疑問を感じる人も多いであろう。

本当は、「定義のときに自分自身を使えるのは、シンタックス形式lambdaの中だけ」(理由は第4回の環境モデルを参照)というのが正確であり、関数定義もその省略形だから自分自身を使えるのである。


一覧 前へ 次へ