- 598 名前：デフォルトの名無しさん [2005/10/01(土) 01:19:05 ]
- >>592
CommonLispで以下の相互再帰がループになる保障があるってわけじゃないでしょ？
こういうとこで根本的にコーティンングスタイルに関わってくるわけ。
(defun f(a) (g a))
(defun g(a) (h a))
(defun h(a) (f a))
(f f)
Schemeでトレースしたけりゃ末尾再帰の最後に適当な置石すりゃいいだけだし。
既存の処理系にも普通にバックトレースぐらい存在してるでしょ。
