Вопрос по short-hand специальных форм в Scheme

0

2

Являются ли short-hand специальных форм макросами в Схеме?

Например, quote - есть special form.
Что есть ее short-hand вариант '?

Пример:

'(+ 1 2) => (quote (+ 1 2)) => (+ 1 2)

Превращение из 'form в (quote form) происходит на фазе read или macroexpand?
Т.е. когда ридер видит ', то должен ли он вернуть токен ' без изменений (который потом во время macroexpansion превратится в quote) или же ридер сразу должен вернуть список (quote form) без каких либо макросов?

Или без разницы и зависит от имплементации?

Ссылка

←	Скомпилировать проект без привязки к версии

JavaScript?!

→

Reader macro?

poe ★
(30.06.16 09:29:05 MSK)

Ссылка

'form превращается в (quote form) перед началом макроэкспанда, это не макрос, а фишка ридера (как и другие цитаты).

anonymous
(30.06.16 10:21:52 MSK)

Ответ на: комментарий от anonymous 30.06.16 10:21:52 MSK

Спасибо, значит все правильно понял!
Просто нигде в документации не мог найти явного упоминания этого.

kovrik ★★★★★
(30.06.16 14:02:09 MSK) автор топика

Ответ на: комментарий от kovrik 30.06.16 14:02:09 MSK

RnRS вообще много чего опускают, полагаясь на очевидность. В R7RS сказано, что 'form и (quote form) — это синтаксически идентичные примитивные выражения (4.1.2, 7.1.3), где-то как #x0F и 15. Макросы — это производные выражения, которые раскрываются в примитивные. Поэтому типа предполагается, что 'form переписывается в (quote form) перед тем, как раскрываются макросы.

anonymous
(30.06.16 22:12:40 MSK)