05/06/02 10:46:43
>>185
> ではなく、繰り返しに展開しないと。
うう，再帰を繰り返しに展開するのって，面倒くさいし，バグの元になりませ
んか？やっぱり，汎用性を目指すなら，初めから繰り返しで書いた方がいいの
かなあ．しかし，再帰のほうがきれいで扱いやすいし... Common Lisper の皆
さんは，普段どのようにお書きなんでしょうか？
>>188
> ところで自由変数使わずに束縛変数だけ使うのなら
> 動的スコープも静的スコープも一緒じゃないの？
それはないです．例えば >>172 の fact0 という関数は lambda 式を返すけど，
その式の最後の行の f は，fact0 の外に出たら，動的スコープだと何にも束
縛されなくなっちゃうでしょう？（と言うか，実行するとそのエラーがでる）
しかし，動的スコープの方が歴史的には古いのだから，もしかしたら動的スコー
プのための Y-Combinator が先に存在していたのかもしれません．私が知らな
いだけで．
>>192 今は「トランポリン」がイディオムの名前だってこと知らない人多いか
>もよ？
それは私です．Google検索したら見つかったのが「何でも継続」だったので赤
面．身になってないなあ．