Speichervorgang in einem Paar (Schema/Guile)

Question

Ich arbeite in Guile und muss eine Prozedur verwenden, die in einem Paar gespeichert ist. Wenn ich car in den folgenden Beispielen speichern:

(define pairA (cons 1 car)) 
(define pairB '(1 . car)) 

.. Ich kann nur das Verfahren aus dem ersten Ausdruck auszuwerten. Der zweite in ein Symbol eingeschaltet wird, vermute ich irgendwie wegen es in einem Paar zu sein, aber keine Liste:

>(display pairA) 
(1 . #<primitive-procedure car>) 

>(display pairB) 
(1 . car) 

Warum wird das erste Beispiel zurück car als ein Verfahren, nicht aber die zweite? Der einzige Unterschied, den ich feststellen kann, ist, dass pairA ist eine Liste/Paar, und pairB ist nur ein Paar. Gibt es eine Möglichkeit, (cdr pairB) als eine Prozedur zu verwenden?

Answer 1

Was Sie wollen, ist

`(1 . ,car) 

Dies ist das quasiquote Konstrukt - kurz gesagt, es nur Auto (in der Regel - nur die nicht notiert „“ Ausdrücke) auswertet und fügt seinen Wert in der Position von nicht börsennotierter Form. Noch ein kleines Beispiel:

scheme@(guile-user)> `(quasiquote magic (+ 2 3) => ,(+ 2 3)) 
$1 = (quasiquote magic (+ 2 3) => 5) 

Ihr erstes Beispiel gearbeitet, weil Nachteile ist ein Verfahren (das heißt nicht eine besondere Form), so ist es Argumente vor der Anwendung ausgewertet werden. Das zweite hat nicht funktioniert, weil du (1. Auto) zitiert hast.

Beachten Sie auch, dass Ihr Paira keine Liste ist - Verfahren werden als Listen nicht dargestellt, sie sind Atome:

scheme@(guile-user)> (pair? car) 
$1 = #f