末尾再帰形式になっているか

Question

Common Lispの学習を始めた者です。
再帰プログラミングの練習をしています。

以下のコードは末尾再帰の形式になっていますでしょうか？

(defun my-deep-reverse (list &optional (revlist ()))
  (if (null list)
    revlist
    (if (atom (car list))
      (my-deep-reverse (cdr list) (cons (car list) revlist))
      (my-deep-reverse (cdr list) (cons (my-deep-reverse (car list) ()) revlist)))))

深い(入れ子の)リストを反転する関数を書いたつもりです。
よろしくお願いします。

###補足情報(言語/FW/ツール等のバージョンなど)
CLISP 2.49

Answer 1

末尾再帰関数の定義から確認しました。

Tail Recursionを見ると、

A tail recursive function is one where every recursive call is the last thing done by function before returning and thus produces the function’s value

とあり、全ての再帰呼び出しが関数の最後に実行される、言い換えれば「全ての再帰呼出が末尾呼出であること」が定義の様です。

EFFECTIVATS: 末尾再帰関数としてのループにも、

関数本体内のあらゆる再帰呼出が末尾呼出であれば、その関数は末尾再帰です。

とあります。これらを末尾再帰関数の定義とすれば、今回のコードは

      (my-deep-reverse (cdr list) (cons (my-deep-reverse (car list) ()) revlist))))

の行の2つ目のmy-deep-reverseの呼び出しが、再帰呼出なのに末尾呼出でないので、
my-deep-reverseは末尾再帰関数ではない、と言えると思います。