vorgehen ((AB) (CD).) In Lisp

Question

Ich versuche, herauszufinden, wie man dies mit Nachteilen zu tun: Zelle in jedem cons

((A . B) . (C . D))

wo (A . B) und (C . D) sind

ich habe versucht, dies zu tun (cons (cons 'a 'b) (cons 'c 'd)) aber es gibt mir diese:

((A.B) C . D)

ich auch tr ied dies: (cons (cons 'a 'b) (cons (cons 'c 'd)())) aber es gibt mir dies:

((A . B) (C . D))

Jede Idee, wie dies zu erreichen?

Answer 1

Ich bin nicht ganz sicher, was du meinst ... Ich stimme dem obigen Kommentar zu, dass die letzte Zeile deines Codes der ersten ähnelt, mit der du übereinstimmst.

Hier ist eine anständige allgemeine Ressource für Sie sowieso: http://www-2.cs.cmu.edu/~dst/LispBook/

Answer 2

Betrachten Sie einfach, was Sie zurück erhalten, wenn Sie in einem wörtlichen ((A . B) . (C . D)) eingeben:

 
* '((a . b) . (c . d)) 

((A . B) C . D) 

Es gibt eine defined algorithm ist der Lisp-Drucker zum Drucken verwendet out Datenstrukturen aus Paaren aufgebaut. Grundsätzlich kann man nie einen Minuspunkt als gepunkteten Strich in Klammern angeben, wenn es sich um den CDR eines anderen Kontras handelt.

Allerdings ist es möglich, den Drucker neu zu konfigurieren, so dass Sie das Verhalten erhalten Sie suchen, über SET-PPRINT-DISPATCH:

 
(set-pprint-dispatch 'cons 
    (lambda (stream object) 
    (format stream "(~W . ~W)" (car object) (cdr object)))) 

 
* '((a . b) . (c . d)) 

((A . B) . (C . D)) 
* (cons (cons 'a 'b) (cons 'c 'd)) ;The same object 

((A . B) . (C . D)) 

Obwohl trotz, dass es offen in die besser wäre, Langlauf, wenn Sie sich mit dem Standardverhalten vertraut gemacht haben.

Answer 3

Was Sie suchen, ist nicht möglich, weil Listen in Lisp dargestellt werden. Wenn Sie eine Liste erstellen, erstellen Sie eine Reihe von Cons-Zellen, wobei das Auto der Zelle der Wert dieses Elements in der Liste ist und das Cdr eine Referenz auf die nächste Cons-Zelle ist. Ihre gewünschte Zelle, ((A . B) . (C . D)) bedeutet "Erstellen Sie eine Cons-Zelle, wo das Auto ist (A . B) und die Cdr ist (C . D)". Dies entspricht einer Liste, in der das erste Element (A . B) ist, das zweite Element C und das Ende der Liste oder ((A . B) C . D) ist.

Answer 4

Die erste ist, was Sie wollen. Sie sind gleichwertig. Sie können wie folgt überprüfen:

1 ]=> (cons (cons 'a 'b) (cons 'c 'd)) 

;Value 11: ((a . b) c . d) 

1 ]=> (car (cons (cons 'a 'b) (cons 'c 'd))) 

;Value 12: (a . b) 

1 ]=> (cdr (cons (cons 'a 'b) (cons 'c 'd))) 

;Value 13: (c . d) 

Denken Sie daran, eine Liste ist eine cons Zelle. Das "Auto" ist das Kopfelement der Liste oder die erste Hälfte der Cons-Zelle, und das Cdr ist der Rest der Liste oder das zweite Element der Cons-Zelle.

Ein anderer Weg, um sicherzustellen, dass sie sind gleichwertig:

1 ]=> '((a . b) . (c . d)) 

;Value 14: ((a . b) c . d)