Common Lisp: Perché non la matrice letterale valuta gli argomenti?

Question

Perché è che la sintassi di matrice Common Lisp non sta valutando i suoi argomenti:

(let ((a 1)) #2A((a 2) (3 4))) 
=> #2A((A 2) (3 4)) 

avrei indovinato era #2A((1 2) (3 4)). È perché A non è disponibile al momento del lettore?

Answer 1

In breve, sì.

#2A((A 2) (3 4)) non è un'abbreviazione ("zucchero sintattico") per (make-array '(2 2) :initial-contents (list (list a 2) (list 3 4))). Se non altro, potrebbe essere razionalizzato come (make-array '(2 2) :initial-contents (quote ((A 2) (3 4)))), ma questo sarebbe un po 'fuorviante in quanto la costruzione dell'array avviene già in fase di lettura.