Телеграмм чат группы fprog

Я уж не говорю о том, что фактически никакое AST и не строится — структура читается ридером и тут же "выполняется".

11:55пожаловаться #1

JS

> В Лиспе синтаксис является буквальным текстовым представлением абстрактного синтаксиса.

Нет. Во-первых, макросы, во-вторых, reader может быть кастомный

макросы — это же AST -> AST. читаешь один AST, потом меняешь его

11:56пожаловаться #2

PS

Peter Sovietov in fprog_spb

> В Лиспе синтаксис является буквальным текстовым представлением абстрактного синтаксиса.

Нет. Во-первых, макросы, во-вторых, reader может быть кастомный

Ну, можно привести и более очевидный пример — символ цитирования.

11:56пожаловаться #3

AP

Jerzy Syrowiecki

макросы — это же AST -> AST. читаешь один AST, потом меняешь его

Да нет никакого AST! Структура читается и тут же обрабатывается. Один из видов обработки — возврат новой структуры, которую нужно заново процессить. Это всё неразделимо и происходит в течении всего сеанса работы интерпретатора

11:58пожаловаться #4

JS

Я уж не говорю о том, что фактически никакое AST и не строится — структура читается ридером и тут же "выполняется".

1. ты сказал об этом.

2. это важное уточнение, которое всё меняет.

11:58пожаловаться #5

JS

Да нет никакого AST! Структура читается и тут же обрабатывается. Один из видов обработки — возврат новой структуры, которую нужно заново процессить. Это всё неразделимо и происходит в течении всего сеанса работы интерпретатора

это обязательно? то есть это классический лисп так устроен или иначе просто невозможно?

11:59пожаловаться #6

AP

Если "синтаксисом" считать списки, числа, символы и строки, то да, на этом уровне есть и парсинг и построение какого-то внутреннего представления для прочитанного исходника

11:59пожаловаться #7

AP

То есть совсем без синтаксиса нельзя

11:59пожаловаться #8

AP

Но это как-бы метасинтаксис, так как то, что он будет означать, зависит от исполнителя

12:00пожаловаться #9

JS

и синтаксический сахар есть, если я правильно понимаю. типа '(a b c) = (quote a b c)

12:00пожаловаться #10

AP

(quote (a b c))

12:00пожаловаться #11

AP

Такого уровня сахар есть, да

12:01пожаловаться #12

AP

Метасинтаксический :)

"Maxwell's equations of software" examined

12:01пожаловаться #13

PS

Peter Sovietov in fprog_spb

Jerzy Syrowiecki

это обязательно? то есть это классический лисп так устроен или иначе просто невозможно?

Вот хорошая заметка по поводу того, что обязательно в лиспе и что является конкретным и абстрактным синтаксисом: http://www.righto.com/2008/07/maxwells-equations-of-software-examined.html

Righto

A recent post quotes Alan Kay's statement that expressing Lisp in itself is the " Maxwell's Equations of Software ": Yes, that was the bi...

12:01пожаловаться #14

AP

Кароч, у настоящих лиспов минималистичный парсер и сложный ридер. И возможность этот ридер заменить даёт все те возможности по адаптации языка под какой угодно "синтаксис".

12:03пожаловаться #15

AP

Поэтому "синтаксиса нет".

12:04пожаловаться #16

PS

Peter Sovietov in fprog_spb

У самых настоящих лиспов парсер вовсе не минималистичный, см. #lang :)