Значение цитаты в Лиспе

Мне также потребовалось некоторое время, чтобы понять эту проблему. Но это всего лишь ваш добросердечный интерпретатор шепелявости, показывающий (цитата (a b c)) в эквивалентной форме '(a b c). Поскольку такой эквивалентности/синтаксического сахара для (quott (a b c)) не существует, он показан как есть.

Вы получите различное поведение в зависимости от того, какой именно Лисп вы используете (Scheme, Racket, Common Lisp и т. д.), но в целом система примет 'x как сокращение или синтаксический сахар для (quote x). Эти две формы полностью эквивалентны, и их значения одинаковы: невычисленное x. Когда результат выходит из системы, она может выбрать печать первым способом, чтобы сделать результат более интуитивно понятным для пользователя. То же самое происходит и с cons. Например,

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

потому что это общий способ печати ячеек cons (пар). Однако существует особый случай, когда второй частью пары является другой список (либо пустой список (), либо другая пара, и поэтому мы имеем следующее. Я также написал немного больше о том, как списки и 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 используется в Лиспе для обозначения выражений, которые должны оцениваться сами по себе. Обычно список представляет собой вызов функции или макроса, а символ — переменную. Если вы хотите рассматривать их как данные, вам нужно указать их.

Так как (quote <something>) так часто используется в Лиспе, была введена сокращенная версия '<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. Любой символ, который что-то означает, если не цитируется, в кавычках не является особенным.