Dlaczego nie ma prymitywu Lisp nieokreślonego?

Question

Ostatnio dużo myślałem o podstawach Lispa; Czytałem kilka podręczników i/lub innych materiałów w Internecie, w tym The Roots of Lisp P. Graham:

W Korzenie Lisp, quote jest opisany jako prymitywne, że kod do zmiany danych, a tym samym cytowanie to, ale nie ma odpowiednika odwrotnej pierwotnej, czyli prymitywu unquote. Myślałem, że może to być firma eval, ale eval często uruchamia dane w pustym środowisku leksykalnym, co nie jest równoznaczne ze zmianą danych z powrotem do kodu.

Ergo, dlaczego nie ma prymitywu Lisp w wersji unquote?

Answer 1

unquote jest przydatna tylko w kontekście quasiquote i quasiquote mogą być realizowane jako makro (który używa quote za kulisami). Nie ma więc potrzeby prymitywu unquote; makro quasiquote zajmuje się po prostu symbolami unquote, ponieważ zostały znalezione.

(quasiquote jest nazwą Program dotyczący grawis cytatem Zatem:.

`(foo bar ,baz) 

jest odczytywany jako

(quasiquote (foo bar (unquote baz))) 

na schemacie.)

---

Oto bardzo prosty Schemat quasiquote makro (obsługuje tylko listy, w przeciwieństwie do standardu quasiquote który obsługuje również wektory i inne typy danych)

(define-syntax quasiquote 
    (syntax-rules (unquote unquote-splicing) 
    ((quasiquote (unquote datum)) 
    datum) 
    ((quasiquote ((unquote-splicing datum) . next)) 
    (append datum (quasiquote next))) 
    ((quasiquote (datum . next)) 
    (cons (quasiquote datum) (quasiquote next))) 
    ((quasiquote datum) 
    (quote datum)))) 

Equivalent wersję przy użyciu wszystkich standardowych skrótów czytelnika:

(define-syntax quasiquote 
    (syntax-rules (unquote unquote-splicing) 
    (`,datum 
    datum) 
    (`(,@datum . next) 
    (append datum `next)) 
    (`(datum . next) 
    (cons `datum `next)) 
    (`datum 
    'datum))) 

Answer 2

Jestem również stosunkowo nowy Lisp, ale myślę, że to, co można było myśleć jest to eval. eval to sposób na zmianę danych z powrotem na kod.

Mianowicie, należy rozważyć prostą funkcję.

(defun foo (a b c) (list a b c)) 

Następnie, jeśli coś jak to zrobić, można uzyskać listę symboli:

CL-USER> (foo 'a 'b 'c) 
(A B C) 

Jeśli dodać cytatów z przodu, funkcja nazywać się jest traktowana jako element danych (lista):

CL-USER> '(foo 'a 'b 'c) 
(FOO 'A 'B 'C) 

Dodanie jeszcze jednego cytatu ma oczekiwany efekt:

CL-USER> ''(foo 'a 'b 'c) 
'(FOO 'A 'B 'C) 

Teraz rozwińmy to za pomocą eval, która w gruncie rzeczy może być uważana za operację odwrotną dla quote. Jest to odwrotność. Oś X to formularz danych. Oś Y to forma kodu. Mam nadzieję, że ta (nieco rozciągnięta) analogia ma sens.

CL-USER> (eval ''(foo 'a 'b 'c)) 
(FOO 'A 'B 'C) 

Czy możesz zgadnąć, co się stanie, jeśli połączę dwa rzędy z rzędu eval? Oto ona:

CL-USER> (eval (eval ''(foo 'a 'b 'c))) 
(A B C)