lisp - 为什么 uninterned 符号用于 Common Lisp 中的包名和导出？

Question

在 screen cast 中在 Common List 上，作者使用 uninterned 符号作为包名和导出。

(defpackage #:foo
  (:use :cl)
  (:export #:bar
           #:baz))

(in-package #:foo)

他还在匿名函数前使用了尖锐的符号。

(defun transposed (m)
  (make-instance 'matrix
                 :rows (matrix-cols m)
                 :cols (matrix-rows m)
                 :generator #'(lambda (i j) (matrix-at m j i))))

在书中Practical Common Lisp据我所知，这个尖锐的符号没有用于包名和导出。

在这些情况下使用 uninterned 符号(尖符号)的原因是什么？

Answer 1

使用 interned 符号会污染你当前所在的包，因为这些符号无论如何只用于它们的名字:

[1]> *package*
#<PACKAGE COMMON-LISP-USER>
[2]> (defpackage bar)
#<PACKAGE BAR>
[3]> (find-symbol "BAR")
BAR ;
:INTERNAL

Uninterned 符号不会那样做:

;; Uninterned symbols don't cause symbol pollution:
[4]> (defpackage #:foo)
#<PACKAGE FOO>
[5]> (find-symbol "FOO")
NIL ;
NIL

你也可以直接使用字符串，但是由于你通常处理的是大写的符号名称，所以写起来不太方便:

[6]> (defpackage "BARFOO")
#<PACKAGE BARFOO>
[7]> (find-symbol "BARFOO")
NIL ;
NIL

例子

为了说明问题，请考虑以下交互:

[1]> (defpackage hello (:use cl) (:export hello))
#<PACKAGE HELLO>

;; Let's write some FOO stuff...
[2]> (defpackage foo (:use cl))
#<PACKAGE FOO>
[3]> (in-package foo)
#<PACKAGE FOO>

;; Oh, I forgot to import HELLO!
;; Let's fix that.
FOO[4]> (defpackage foo (:use cl hello))
*** - (COMMON-LISP:USE-PACKAGE (#<PACKAGE HELLO> #<PACKAGE COMMON-LISP>)
      #<PACKAGE FOO>): 1 name conflicts remain
      Which symbol with name "HELLO" should be accessible in #<PACKAGE FOO>?

;; Oops.