在顶层使用标签与helperandmain与CommonLisp中的嵌套defun之间的比较。哪个最好？

我正在尝试通过《Common Lisp：符号计算的温和介绍》一书来学习 Common Lisp 。此外，我正在使用 SBCL、Emacs 和 Slime。

在第 8 章的高级部分，作者介绍了labels特殊功能。实际上，他将在顶层（主函数和辅助函数）上定义事物与label在函数内部使用表达式进行了对比。

例如，这将是一个reverse使用顶级方法进行尾调用的列表函数：

(defun reverse-top-level-helper (xs-left accu)
(cond ((null xs-left) accu)
(t (reverse-top-level-helper (cdr xs-left)
(cons (car xs-left)
accu)))))
(defun reverse-top-level-main (xs)
(reverse-top-level-helper xs nil))


另一方面，下面的代码将使用labels：

(defun reverse-labels (xs)
(labels ((aux-label (xs-left accu)
(cond ((null xs-left) accu)
(t (aux-label (cdr xs-left)
(cons (car xs-left) accu))))))
(aux-label xs nil)))


因此，标签方法避免了人们将顶层的辅助函数搞砸的机会。与顶级方法不同，标签方法可以访问主函数的局部变量。

不幸的是，根据作者的说法，在大多数 lisp 实现中，没有办法跟踪标签表达式中的函数。这似乎是我的情况，因为我是从 REPL 得到的：

CL-USER> (trace aux-label)
WARNING: COMMON-LISP-USER::AUX-LABEL is undefined, not tracing.
NIL


吸引我的一点是，作者没有展示在 Racket 中很常见的第三种方法。我将其称为嵌套 defuns。

同样的问题将被解决为：

(defun reverse-racket-style (xs)
(defun aux (xs-left accu)
(cond ((null xs-left) accu)
(t (aux (cdr xs-left) (cons (car xs-left) accu)))))
(aux xs nil))


在这种方法中，辅助函数可以从主函数访问局部变量。它也可以通过 REPL 进行跟踪。

我一整天都在使用它。所以我知道它可以在一个文件中使用它的许多功能。实际上，我什至不知道 trace 是如何工作得这么好，因为我使用了一堆不同的辅助函数，并且所有这些函数都aux在球拍样式下具有相同的名称。该trace知道这AUX我想看到的。

最重要的是，这种遗漏真的让我很感兴趣。特别是因为我真的很喜欢这本书。我想我可能错过了一些东西。

1 - 为什么没有提到这种方法？这种带有嵌套 defun 的“球拍风格”在 Common Lisp 中被认为是糟糕的风格吗？

2 - 我是否遗漏了一些重要的细节（例如，这种方法可能是难以找到错误或产生性能问题的根源）？

3 - 这种遗漏是否有一些历史原因？