recursion - 避免双重递归

Question

(DEFUN F(L)
   (COND
      ((NULL L) NIL)
      ((LISTP (CAR L))
       (APPEND (F (CAR L))
               (F (CDR L))
               (CAR (F (CAR L)))))
      (T (LIST (CAR L)))
))

该函数返回一个点对(如果第一个元素是一个子列表)，右边是子列表的第一个元素，左边是右边的元素和列表的第二个元素(如果不是子列表)。现在，如何在不使用 (F (CAR L)) 的双重递归和不使用 SET,SETQ,SETF 的情况下重写它？

Answer 1

使用 LET 将局部变量绑定(bind)到重复的递归调用。

(DEFUN F(L)
   (COND
      ((NULL L) NIL)
      ((LISTP (CAR L))
       (LET ((FCAR (F CAR L)))
         (APPEND FCAR
                 (F (CDR L))
                 (CAR FCAR))))
      (T (LIST (CAR L)))
))