lisp - GNU Common Lisp の (type-of) の詳細

Question

REPL で次のように入力した場合:

(type-of (make-array 5))

次に、応答を取得します。

(SIMPLE-VECTOR 5)

けっこうだ。したがって、REPL で次のように入力した場合:

(type-of (make-array (list 5 3 2)))

次に、応答を取得します。

(SIMPLE-ARRAY T (5 3 2))

2 つの質問があります。

1. Tここで私に言っていることは何ですか？もしそれがNIL代わりだったとしたら、それは私に何を教えてくれただろうか?
2. 自分でこの答えをどこで見つけることができたでしょうか? (たとえば) Lisp HyperSpec で答えを見つけることができませんでした。

Answer 1

(SIMPLE-ARRAY T (5 3 2))3 次元の単純な配列です。T任意の要素タイプを含むことができる一般的な配列であると言います。T最も一般的なタイプです。

hyperspec は、タイプ SIMPLE-ARRAY をここに文書化します。

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

Answer 2

1) T が NIL だった場合、データを格納しないことに特化した 3 次元配列になります (NIL 型の要素はありません。すべての型は NIL のスーパータイプであると思います)。