Quale sarebbe un esempio di condizionale anaforico in Lisp?

Question

Quale sarebbe un esempio di condizionale anaforico in Lisp? Per favore, spiega anche il codice.

Answer 1

Un esempio è il Common Lisp LOOP:

(loop for item in list 
     when (general-predicate item) 
     collect it) 

La variabile IT ha il valore della espressione di prova. Questa è una funzionalità della funzione ANSI Common Lisp LOOP.

Esempio:

(loop for s in '("sin" "Sin" "SIN") 
     when (find-symbol s) 
     collect it) 

rendimenti

(SIN) 

perché solo "SIN" è un nome per un simbolo esistente, qui il simbolo SIN. In Common i nomi dei simboli Lisp hanno nomi maiuscoli internamente per impostazione predefinita.

Answer 2

Paul Graham On Lisp ha un capitolo su Anaphoric Macros.

In sostanza, è un modo stenografico per scrivere affermazioni che evitino di ripetere il codice. Ad esempio, confrontare:

(let ((result (big-long-calculation))) 
    (if result 
     (foo result))) 

e

(if (big-long-calculation) 
    (foo it)) 

dove it è un nome speciale che si riferisce a tutto ciò che è stato appena calcolato in (big-long-calculation).