如何“定义”包中的函数？

Question

对不起，这是一个非常新手的 Common Lisp 问题。

我正在学习 common-lisp 和包系统。

我从http://cl-cookbook.sourceforge.net/packages.html 的“The Complete Idiot's Guide to Common Lisp Packages”开始

在第一章，作者foo在包中定义了一个函数:bob

? (make-package :bob)
#<Package "BOB">
? (make-package :jane)
#<Package "JANE">
? (in-package bob)
#<Package "BOB">
? (defun foo () "This is Bob's foo")
FOO

我在 REPL 中逐行测试了这段代码，但失败了：

; SLIME 2.26
CL-USER> (make-package :bob)
#<PACKAGE "BOB">
CL-USER> (make-package :jane)
#<PACKAGE "JANE">
CL-USER> (in-package bob)
#<COMMON-LISP:PACKAGE "BOB">
BOB> (defun foo () "This is Bob's foo")
; in: DEFUN FOO
;     (BOB::DEFUN BOB::FOO NIL "This is Bob's foo")
; 
; caught COMMON-LISP:STYLE-WARNING:
;   undefined function: BOB::DEFUN
; 
; caught COMMON-LISP:WARNING:
;   undefined variable: BOB::FOO
; 
; compilation unit finished
;   Undefined function:
;     DEFUN
;   Undefined variable:
;     FOO
;   caught 1 WARNING condition
;   caught 1 STYLE-WARNING condition

它告诉我：

The variable FOO is unbound.
   [Condition of type COMMON-LISP:UNBOUND-VARIABLE]

有什么问题？

如何解决此问题并使其正常工作？

很感谢。

PS：我的环境是SBCL+quicklisp+slime。

Answer 1

你需要告诉 Lisp使用哪个包。在标准 Common Lisp 中，未指定使用哪些包。SBCL 不使用。如果您希望包 CL 的符号可用，则必须显式使用该包。

包简

* (make-package :jane)
#<PACKAGE "JANE">
* (describe *)
#<PACKAGE "JANE">
  [package]


0 internal symbols.

对于包 BOB，我们使用包 CL：

* (make-package "BOB" :use '("CL"))
#<PACKAGE "BOB">
* (describe *)
#<PACKAGE "BOB">
  [package]


Use-list: COMMON-LISP
0 internal symbols.


* (find-symbol "DEFUN" "BOB")
DEFUN
:INHERITED

该符号DEFUN在包 BOB 中可用。

* (find-symbol "DEFUN" "JANE")
NIL
NIL

符号DEFUN是不是在包JANE可用。