lisp中'（（1 2）（3 4））和'（'（1 2）'（3 4））之間的區別是什麼？

Question

的

(length (car '('(0)'(1 2 3)'(6 7)))) 

長度正在顯示2，而相同

(length (car '((0)(1 2 3)(6 7)))) 

正確1所示。所以什麼的第一個表達式實際上表示？

Answer 1

引用字符'是一個閱讀器宏。 'anything擴展爲(quote anything)。因此，第一個表達式是簡寫：

(length (car (quote ((quote (0)) 
        (quote (1 2 3)) 
        (quote (6 7))) 

第一quote導致要字面上處理的參數。這意味着它內部的quote表達式僅僅是以符號quote開頭的列表。

所以該列表的CAR是子列表(quote (0))。它包含2個元素：符號quote和列表(0)。

Answer 2

CL-USER 8 > '((0)(1 2 3)(6 7)) 
((0) 
(1 2 3) 
(6 7)) 

CL-USER 9 > '('(0)'(1 2 3)'(6 7)) 
((QUOTE (0)) 
(QUOTE (1 2 3)) 
(QUOTE (6 7)))