package - 如何 `defun`包中的函数？

Question

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

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

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

在第1章中，作者在:bob

包中定义了一个函数 foo

? (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 中不可用。