modulo eval supposta per valutare una data forma in un ambiente lessicale nullo, non capisco quello che mi aspetto

Question

Diciamo che ho una var speciale:

(defvar x 20) 

poi faccio la seguente:

(let ((x 1)) (eval '(+ x 1)) 

che restituisce 2.

Secondo CLHS, eval "elabora forma nell'ambiente dinamico corrente e l'ambiente lessicale nullo". Quindi, mi aspetterei di ottenere 21 invece di 2.

Mi manca qualcosa?

Ora se non hanno vincolante per simbolo y dinamica, valutando

(let ((y 1)) (eval '(+ y 1)) 

ottengo condizione: "La variabile Y è libero", che ha senso, dato che non v'è vincolante per y dinamico.

Nota: sto usando SBCL 1.0.57

Apprezzare il vostro aiuto in anticipo!

Answer 1

nel tuo esempio x è special il che significa che è legato in un ambiente dinamica

y è non speciale, quindi è inevitabile che nell'ambiente lessicale

---

così al momento del primo eval gli ambienti potrebbero essere rappresentati in questo modo:

dynamic environment: { x : 1 } -> { x : 20, ...other global variables... } -> nil 
lexical environment: nil 

il simbolo x è speciale così eval alza gli occhi x nella corrente dinamica ambiente e trova x = 1

---

ammesso che è stato eseguito in stesso Lisp come l'ultimo esempio, l'ambiente della vostra Il secondo eval è il seguente:

dynamic environment: { x : 20, ...other global variables... } -> nil 
lexical environment: { y : 1 } -> nil 

il simbolo y è non speciale in modo eval alza gli occhi y nell'ambiente lessicale nullo - non l'ambiente lessicale corrente - e non trova niente.

questo ha senso quando ci si accorge che il lisp di solito è compilato e l'ambiente lessicale può essere ottimizzato in semplici istruzioni mov in alcuni casi.

Answer 2

DEFVAR dichiara le sue variabili speciali. Globalmente, ovunque. Non è inoltre possibile rimuovere facilmente questo.

Questo è anche il motivo non si dovrebbe mai usare nomi comuni come x, i, list come nomi di variabili per DEFVAR. Assicurati di utilizzare *x*, *i* e *list*. Altrimenti tutte le variabili, anche quelle locali, con questi nomi comuni sono dichiarate speciali.