¿Por qué un defun no LISP requiere una cotización antes de su argumento de parámetro?

Question

Tome esta función:

(defun sum-greater (x y z) 
(> (+ x y) z)) 

Es mi entendimiento de que en LISP el primer elemento de una lista siempre representa una función a realizar sobre los átomos posteriores/listas. Entonces, ¿por qué LISP no trata el x en (x y z) como una función que se realizará en y y z? Claramente, este no sería un comportamiento deseable, pero sería el comportamiento esperado.

¿Presumiblemente la función que define defun de alguna manera anula la evaluación LISP estándar de una lista? Si es así, ¿podrías detallar esto?

Gracias

Answer 1

IIRC en Common Lisp al menos defun es una macro (HyperSpec), lo que significa que puede definir cualquier estrategia de evaluación alguna por sus argumentos.

Answer 2

Su presunción es correcta. Defun es comúnmente un special form o macro

Answer 3

defun es especial porque es una macro. Y dado que las macros pueden ser dependientes de la implementación, todo tipo de magia negra puede ocurrir debajo del capó.

Lisp HyperSpec (Common Lisp) says, y cito textualmente: "Ninguno de los argumentos se evalúa en el tiempo de expansión de macros".

Answer 4

Puede descargar aquí una introducción básica a Lisp:

Common Lisp: A Gentle Introduction to Symbolic Computation, by David S. Touretzky.

Lisp y, especialmente, Common Lisp tiene varias formas Lisp:

función

• llama

• llamadas macro

• formas especiales

DEFUN es una macro. Por lo tanto, la macro define qué partes se evalúan y cuáles no. Para ANSI Common Lisp esto está definido en el estándar e implementado por la macro DEFUN.

Answer 5

defun no es una función, sino una forma especial (o se reduce a una), y para estos, la mecánica de evaluación es diferente. Ejemplos similares serían si, cuando uno de los argumentos se descarta completamente sin ser evaluado en absoluto.