Accade in Common Lisp?

Non lo so. Non riesco a pensare a nessuna situazione in cui '(foo) verrebbe trasformato in (quote foo) poiché è in realtà uguale a (quote (foo)) (il simbolo ' è in genere una macro lettore che legge il successivo s-exp e lo restituisce circondato da un chiama al modulo speciale quote ).

In PicoLisp , '(foo) equivale a (quote foo) e 'foo equivale a (quote . foo) .

Non ho capito neanche quel paragrafo. È ipotizzabile che Yegge si riferisse a PicoLisp (nel contesto del porting tra dialetti Lisp), oppure che si sarebbe potuto riferire ad un bug o ad un caso d'angolo in un'implementazione CL o Scheme (anche se nessuno di quelli a mia conoscenza).

'(foo) non è "espanso" in (citazione foo). Le due forme sono precisamente uguali; il lettore Lisp LEGGE '(pippo) come (citazione foo).

Pensare che siano in qualche modo diversi è completamente fraintendere come lisp legge internamente i moduli.

Questo è esattamente al contrario. La situazione sorprendente è che hai alcuni dati come:

(the (quick brown (quote jumped) over) the lazy symbol)

Questi dati non sono codice; sono solo alcuni simboli Ma quando lo stampi, il sistema Lisp trasforma (quote jumped) in 'jumped che, ad esso, significa esattamente la stessa cosa. Per te, potrebbe essere fastidioso perché quella notazione è inapplicabile nei tuoi dati.

La correzione ANSI Common Lisp per questo è usare i pacchetti. Il motivo (quote jumped) trasformato in 'jumped è che siamo in un pacchetto in cui il simbolo quote che è visibile è quello importato / utilizzato dal pacchetto common-lisp : cioè il simbolo common-lisp:quote . Potremmo usare ourpackage per i dati, in cui ourpackage:quote non ha nulla a che fare con common-lisp:quote ; la stampante Lisp la lascerà in pace.