Значение на „цитат“ в Lisp

Също така ми отне известно време, за да разбера този проблем. Но това е просто вашият добродушен интерпретатор на lisp, който показва (цитат (a b c)) в еквивалентната му форма '(a b c). Тъй като няма такава еквивалентност/синтактична захар за (quott (a b c)), той се показва такъв, какъвто е.

Ще получите различни поведения в зависимост от това какъв точно Lisp използвате (Scheme, Racket, Common Lisp и т.н.), но като цяло системата ще приеме 'x като стенографско или синтактично захарза (quote x). Двете форми са напълно еквивалентни и стойностите им са еднакви: неоцененото x. Когато резултатът излиза от системата, тя може да избере да отпечата по първия начин, за да направи резултата по-интуитивен за потребителя. Подобно нещо се случва и с cons. Например,

(cons 1 2)
;=> (1 . 2)

тъй като това е общият начин, по който се отпечатват cons клетки (двойки). Има обаче дефиниран специален случай, когато втората част от двойката е друг списък (или празният списък (), или друга двойка и затова имаме следното. Написах също малко повече за това как списъците и клетките за недостатъци се отпечатват в отговор на Рекурсивният диапазон в Lisp добавя точка?.

(cons 1 '())
;=> (1)

(cons 1 '(2 3))
;=> (1 2 3)

Сега написах стойности на израза по-горе. Например стойността на формуляра (cons 1 '(2 3)) е списъкът (1 2 3). Като допълнително усложнение, някои системи (имам предвид някои езици, по-специално Dr. Racket) не отпечатват стойността на формуляр в интерактивната подкана, а по-скоро отпечатват формуляр, който ще произведе същите (за определени интерпретации на „същите“) стойности. Например, можете да оцените '(1 . 2) и да видите изхода (cons 1 2), защото това е друга форма, която ще произведе същата стойност. Това може да бъде полезно, ако правите чисто функционално програмиране, което има референтна прозрачност, но ако не я очаквате, това може да доведе до известно объркване.

Един добър начин да видим, че получаваме резултатите, които трябва, независимо от начина, по който системата ги отпечатва, е да ги инспектираме. Очакваме, че (list 'quote '(a b c)) трябва да върне списък, чийто car е символът quote и чийто cadr е списъкът (a b c). Ето какво получаваме (в Dr. Racket 5.3 с език R⁵RS):

> (display (list 'quote '(a b c)))
'(a b c)
> (display (car (list 'quote '(a b c))))
quote
> (display (cadr (list 'quote '(a b c))))
(a b c)

Получаваме подобни резултати, ако използваме 'qmmmt вместо 'quote:

> (display (list 'qmmmt '(a b c)))
(qmmmt (a b c))
> (display (car (list 'qmmmt '(a b c))))
qmmmt
> (display (cadr (list 'qmmmt '(a b c))))
(a b c)

Единствената разлика е, че в първия случай display показва списъка, чийто car е символът quote, използвайки стенограмата, която е налична за такива списъци. Тоест, вместо да показва (quote (a b c)), той показва '(a b c).

'(a b c) и (quote (a b c)) всъщност са различни обозначения за едно и също. Така че не се изненадвайте, ако вашият Lisp отпечата по-кратката версия.

Като цяло '<something> е същото като (quote <something>).

QUOTE се използва в Lisp за маркиране на изрази, които трябва да се оценяват сами. Обикновено списъкът би бил функция или макро извикване, а символът би бил променлива. Ако искате да ги третирате като данни, трябва да ги цитирате.

Тъй като (quote <something>) се използва толкова често в Lisp, съкратената версия '<something> е въведена, за да спести малко писане или четене...

display излъчва някои поведения. напр. '(a . (b . (c . ()))) се показва (a b c). 'quote се показва quote и може би '(quote x y) се показва (quote x y), докато '(quote x) се показва 'x или (quote x). Кое зависи от изпълнението, но и двете означават едно и също.

Като данни (т.е. в кавички, като (quote quote) и това е съкращение 'quote) резултатът от оценката, символът quote не е нищо особено за всеки LISP, точно както '+ и 'potato случайно са символите + и potato. Всеки символ, който означава нещо, когато не е цитиран, не е специален, когато е цитиран.