LL
Quote
Это не обёртка
Size: a a a
2020 July 14
Д
Это не обёртка
Именно что обертка
Д
Один код должен представлять одни данные и результат его эвала тоже должен быть один при одинаковом окружении
DL
при чём тут результат эвала, если мы код сравниваем?
OR
Начните с проходов кложи, если хочется
DL
(+ 1 2) и (- 4 1) заэвалятся в одно и то жеД
(+ 1 2) и (- 4 1) заэвалятся в одно и то жеТак код = данные. С функцией у тебя код и данные одинаковые, а тут код разный.
DL
так что квотирование - единственный способ использовать функцию (как синтаксический объект) as is
Д
Ну тогда ты не функцию сравниваешь
Д
Это же очевидно
DL
я сравниваю код
DL
Д
Нет, ты сравниваешь результат квота
Д
А результат квота это не код
Д
Результатом квота может быть что угодно
DL
А результат квота это не код
у квота не может быть "результата", это специальная форма
DL
которая просто предотвращает от эвала
Д
которая просто предотвращает от эвала
Это и есть результат
Д
Получаешь не функцию, а набор списков из которого можно сделать функцию, но не наоборот