¿Cuál sería un ejemplo de un condicional anafórico en Lisp?

Question

¿Cuál sería un ejemplo de un condicional anafórico en Lisp? Por favor, explica el código también.

Answer 1

Un ejemplo es el Common Lisp LOOP:

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

La variable IT tiene el valor de la expresión de prueba. Esta es una característica de ANSI Common Lisp LOOP.

Ejemplo:

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

vuelve

(SIN) 

porque sólo "SIN" es un nombre para un símbolo existente, aquí el símbolo SIN. En Common Lisp, los nombres de los símbolos tienen nombres internamente en mayúsculas por defecto.

Answer 2

Paul Graham's On Lisp tiene un capítulo en Anaphoric Macros.

Básicamente, es una manera abreviada de escribir declaraciones que evita repetir el código. Por ejemplo, comparar:

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

y

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

donde it es un nombre especial que hace referencia a lo que simplemente se calculó en (big-long-calculation).