к
для синтаксического анализа достаточно аст
Size: a a a
2021 May 26
к
аст можно легко построить и вручную
РС
так это же синтаксический строит аст, разве нет?оО
h
вот я думал сам об этом. но каждый раз прихожу к тому, что "ну не буду же я AST руками писать, сейчас напишу простой парсер и дальше пойду", и начинается... "а может это сразу добавить" и тд
можете подсказать, как перейти сразу к бэкэнду, не описывая сложные структуры руками хард-кодом?
можете подсказать, как перейти сразу к бэкэнду, не описывая сложные структуры руками хард-кодом?
к
да, это чуть сложнее чем просто распарсить, но зато не нужно упираться в парсер чтобы приступить к самому интересному
AT
Nanopass
к
так а что мешает его и самому построить
а потом дописать и парсер с анализом в конце, когда уже трансляция собственно будет готова
а потом дописать и парсер с анализом в конце, когда уже трансляция собственно будет готова
AT
Тоже всегда так делаю! 😂
AT
На любом более-менее приличном современном языке AST руками пишется почти так же, как и конкретный синтаксис. 🤷♀️
AT
Если, прям, очень влом, можно shallow embedding сделать и писать комбинаторы.
РС
ненене, в моем понимании синтаксический анализатор запрашивает набор токенов у лексического анализатора и по ним строит аст. А зачем в данном случае нам писать AST руками?
если мы пропускаем лексический анализатор - то мы должны заполнить массив токенов и пусть синтаксический анализатор из него дергает.
я это пишу без претензий, а пытаюсь понять для себя, значит я что-то не так понимаю
если мы пропускаем лексический анализатор - то мы должны заполнить массив токенов и пусть синтаксический анализатор из него дергает.
я это пишу без претензий, а пытаюсь понять для себя, значит я что-то не так понимаю
h
а как же быть со спанами, доп структурами, которые может быть сложновато привязать к аст.
ну вот к примеру, есть AST, а также потом генерится стак скоупов (ну или rib'ов), к этому добавляются ещё какие-нибудь вещи вспомогательные...
или вы имеете в виду, именно только первый этап с парсингом пропустить, а не весь high-middle левелы?
ну вот к примеру, есть AST, а также потом генерится стак скоупов (ну или rib'ов), к этому добавляются ещё какие-нибудь вещи вспомогательные...
или вы имеете в виду, именно только первый этап с парсингом пропустить, а не весь high-middle левелы?
AT
Если ещё более влом и пишешь на Haskell — быстренько соорудить себе Free Monad и писать свои программы в do-нотации. 😂
к
можно отложить синтаксический анализ на конец
РС
ааа, а приступить сразу к семантике и т.д.?
к
РС
теперь понял, спасибо)
к
никогда так не получилось, монадичные выражения плохо в аст кодируются
AT
Первый этап с парсингом. Если нет конкретного синтаксиса — спаны не нужны. Можно потом добавить.
РС
тогда понимаю, первые два этапа самые объемные😃
я ещё решил First Follow автоматически заполнять из грамматики, вообще в ад превратилось: пришлось ещё писать парсер грамматики
я ещё решил First Follow автоматически заполнять из грамматики, вообще в ад превратилось: пришлось ещё писать парсер грамматики