Comune Lisp caratteri di scelta rapida speciali

Question

In Common Lisp, esistono ovviamente alcuni caratteri speciali che fungono da scorciatoie per determinate forme. 'x significa (quote x). #'f significa (function f). Avevo pensato che quelli (e anche il backtick) erano gli unici, ma poi ho imparato a conoscere #(), che a quanto pare è un vettore, e solo oggi qualcuno ha menzionato lo #., che a quanto pare fa qualcosa con il tempo di valutazione.

Per quanto possibile, non riesco a trovare un elenco completo di quali simboli di prefisso significano qualcosa e cosa fanno? Questo è qualcosa che è stato lasciato all'implementazione per decidere, o qualcuno potrebbe indicarmi un punto dello standard che elenca queste scorciatoie in modo completo?

Answer 1

L'HyperSpec, in 2.4 Standard Macro Characters, enumera "i caratteri macro definiti inizialmente in un'implementazione conforme". È possibile definire il proprio utilizzando ', che gestisce i tipi come ' che non hanno alcun "prefisso" e set-dispatch-macro-character, che gestisce il tipo preceduto da un carattere di invio (in genere #).

Oltre a HyperSpec, è possibile trovare Chapter 17, Read Macros da Paul Graham su Lisp utile. Inizia con un'implementazione di ', ovvero il carattere macro che si espande in (quote ...). Anche le risposte a How to define symbols that will work like (and) by symbol macro? sono utili, in quanto vi sono alcuni usi di set-macro-character.

Answer 2

Quello che stai cercando sono Standard Macro Characters.

È possibile definire il proprio utilizzando set-dispatch-macro-character e set-macro-character.

In realtà, questo è il modo in cui ho implementato XML Parsing.