список Ракетки синтаксис кажется несовместимым

Question

Синтаксис list кажется таинственные

«(1 2) и (список 1 2) одинаков:

> (equal? '(1 2) (list 1 2)) 
#t 

НО это не то же самое ???

(equal? '('(1 2)) (list (list 1 2))) 
#f 

также

> (list (list 1 2)) 
'((1 2)) 

> '('(1 2)) 
'('(1 2)) 

Answer 1

Да, те разные. Ответ здесь заключается в том, что цитата намного мощнее, чем вы думаете.

В частности, цитата помещает вас в «язык данных»; в этом языке данных каждая пара круглых скобок вводит вложенный список, и каждый идентификатор рассматривается как символ.

Так, например,

'(a (b c) d "e" ((g))) 

такое же, как

(list 'a (list 'b 'c) 'd "e" (list (list 'g))) 

Обратите внимание, как значительно короче, первый из них, чем второй.

Когда вы ставите цитируемый термин внутри указанного срока, вы получите сюрпризы; это потому, что 't на самом деле является сокращением для (quote t). Итак, '(' (1 2)) является коротким для (quote ((quote (1 2)))), что совпадает с (list (list 'quote (list 1 2))).

Краткая версия: не указывайте цитату внутри цитаты и помните, что цитата вводится в «язык данных». Все становится еще интереснее с квазиквавтой!