forward-declaration - SBCL 前向声明 : possible?

Question

我正在 SBCL 中编写一些代码，当我将文件加载到 REPL 时，我的函数的顺序不断导致出现以下类型的警告:

;caught STYLE-WARNING:
    undefined function: FOO

哪里 FOO是函数的符号。这纯粹是由于它们在我的文件中的排序方式，如函数 FOO已定义，只是不在引发该警告的代码部分之前。

现在，在我熟悉的 Lisp Clojure 中，我有 declare表格，这让我可以提前声明以避免此类问题。 SBCL/Common Lisp 有没有类似的东西？

Answer 1

我们可以使用 '(declaim (ftype ...))' 来实现:

(declaim (ftype (function (integer list) t) ith))

(defun foo (xs)
  (ith 0 xs))

(defun ith (n xs)
  (nth n xs))

函数 'foo' 和 'ith' 都可以正常工作，并且没有任何样式警告。

http://www.lispworks.com/documentation/HyperSpec/Body/d_ftype.htm