Perché un defun LISP non richiede una citazione prima dell'argomento parametro?

Question

Prendete questa funzione:

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

E 'la mia comprensione che in LISP il primo elemento di un elenco rappresenta sempre una funzione da eseguire sui successivi atomi/liste. Quindi, perché LISP non tratta loin (x y z) come una funzione da eseguire su y e z. Chiaramente questo non sarebbe un comportamento desiderabile, ma sarebbe il comportamento previsto.

Presumibilmente, la funzione che definisce defun sovrascrive in qualche modo la valutazione LISP standard di un elenco? In tal caso, potresti fornire questo dettaglio?

Grazie

Answer 1

IIRC in Common Lisp almeno defun è una macro (HyperSpec), il che significa che può definire qualsiasi strategia di valutazione di sorta per i suoi argomenti.

Answer 2

La tua presunzione è corretta. Defun è comunemente un special form o macro

Answer 3

defun è speciale perché è una macro. E dal momento che le macro possono essere dipendenti dall'implementazione, qualsiasi tipo di magia nera può accadere sotto il cofano.

Lisp HyperSpec (Common Lisp) says e cito: "Nessuno degli argomenti viene valutato al momento dell'espansione della macro".

Answer 4

Potete scaricare qui una formazione di base in Lisp:

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

Lisp e soprattutto Common Lisp ha diverse forme Lisp:

funzione

• chiama

• macro chiamate

• forme speciali

DEFUN è una macro. Quindi la macro definisce quali parti sono valutate e quali no. Per ANSI Common Lisp questo è definito nello standard e implementato dalla macro DEFUN.

Answer 5

defun non è una funzione, ma una forma speciale (o si riduce a uno), e per questi, la meccanica di valutazione è diversa. Esempi simili sarebbero se, dove uno degli argomenti è addirittura scartato completamente senza essere valutato affatto!