AK
То есть PHP сначала парсит, если все ок, то транслирует в байткод и байткод выполняет?
Я не эксперт, но у него есть несколько режимов выполнения - как интерактивный построчный, так и запуск скомпилированного байт-кода без исходника
Size: a a a
2021 March 07
D
Я не эксперт, но у него есть несколько режимов выполнения - как интерактивный построчный, так и запуск скомпилированного байт-кода без исходника
Понял
AK
У питона и джиеса тоже
2021 March 08
РС
я бы просто выводил все ошибки лексера а потом и парсера
плюс в том что сразу ошибки от обоих, но в этом же и минус - могут дублироваться или накапливаться
в любом случае компилятор не исправляет сами ошибки а лишь выводит сообщение
плюс в том что сразу ошибки от обоих, но в этом же и минус - могут дублироваться или накапливаться
в любом случае компилятор не исправляет сами ошибки а лишь выводит сообщение
так в этом и вопрос. Как просто выводить, если по таблице он не знает куда идти)
RN
не понятно чего он не знает
у него есть определенные правила, он находит несостыковку, дальше надо написать сообщение
мол такая строка, такая колонка, ожидается такой-то токен, или неожиданный символ
можно в дать возможность вместе с граматикой вводить сообщения об ошибках(таблицу сообщений об ошибках)
у него есть определенные правила, он находит несостыковку, дальше надо написать сообщение
мол такая строка, такая колонка, ожидается такой-то токен, или неожиданный символ
можно в дать возможность вместе с граматикой вводить сообщения об ошибках(таблицу сообщений об ошибках)
AK
не понятно чего он не знает
у него есть определенные правила, он находит несостыковку, дальше надо написать сообщение
мол такая строка, такая колонка, ожидается такой-то токен, или неожиданный символ
можно в дать возможность вместе с граматикой вводить сообщения об ошибках(таблицу сообщений об ошибках)
у него есть определенные правила, он находит несостыковку, дальше надо написать сообщение
мол такая строка, такая колонка, ожидается такой-то токен, или неожиданный символ
можно в дать возможность вместе с граматикой вводить сообщения об ошибках(таблицу сообщений об ошибках)
У парсер-комбинаторов обычно такие ошибки и бывают: «строка 359: ожидается number, или string, или true, или false, или identifier, или var, или while, или if, или for, или (, или ...» и так далее, что мягко говоря недружественно для пользователя
AT
У парсер-комбинаторов обычно такие ошибки и бывают: «строка 359: ожидается number, или string, или true, или false, или identifier, или var, или while, или if, или for, или (, или ...» и так далее, что мягко говоря недружественно для пользователя
А я такое от ANTLR получал в больших количествах. 😊
"Тупые" комбинаторы парсеров вообще склонны рапортовать только "нишмогла" и ничего больше... 😒
"Тупые" комбинаторы парсеров вообще склонны рапортовать только "нишмогла" и ничего больше... 😒
РС
не понятно чего он не знает
у него есть определенные правила, он находит несостыковку, дальше надо написать сообщение
мол такая строка, такая колонка, ожидается такой-то токен, или неожиданный символ
можно в дать возможность вместе с граматикой вводить сообщения об ошибках(таблицу сообщений об ошибках)
у него есть определенные правила, он находит несостыковку, дальше надо написать сообщение
мол такая строка, такая колонка, ожидается такой-то токен, или неожиданный символ
можно в дать возможность вместе с граматикой вводить сообщения об ошибках(таблицу сообщений об ошибках)
это если до первой ошибки. А как ему действовать дальше?
В книге дракона упоминается синхронизирующий токен, но если я пишу условный генератор парсеров - то не ясно как его определять
В книге дракона упоминается синхронизирующий токен, но если я пишу условный генератор парсеров - то не ясно как его определять
AT
это если до первой ошибки. А как ему действовать дальше?
В книге дракона упоминается синхронизирующий токен, но если я пишу условный генератор парсеров - то не ясно как его определять
В книге дракона упоминается синхронизирующий токен, но если я пишу условный генератор парсеров - то не ясно как его определять
Добавить соответствующее правило в грамматику грамматики чтобы пользователи (авторы грамматик) сами могли указывать какие токены синхронизирующие. 🤷♀️
RN
это если до первой ошибки. А как ему действовать дальше?
В книге дракона упоминается синхронизирующий токен, но если я пишу условный генератор парсеров - то не ясно как его определять
В книге дракона упоминается синхронизирующий токен, но если я пишу условный генератор парсеров - то не ясно как его определять
ну можно в тупую действовать дальше как будто никакой ошибки и не было(в таком случае будут другие ошибки как следствие первой)
или же искать тот самый синхронизирующий токен и после него такого накопления ошибок не будет
или же искать тот самый синхронизирующий токен и после него такого накопления ошибок не будет
RN
если даже пользователь не задавал токен то можно самому его вставлять в лексическом
AK
А я такое от ANTLR получал в больших количествах. 😊
"Тупые" комбинаторы парсеров вообще склонны рапортовать только "нишмогла" и ничего больше... 😒
"Тупые" комбинаторы парсеров вообще склонны рапортовать только "нишмогла" и ничего больше... 😒
Увы, имхо генерировать понятные контекстуальные сообщения вида «выражения должны заканчиваться точкой с запятой» автоматически невозможно, только расставлять вручную
РС
Ну и в очередной раз https://tratt.net/laurie/blog/entries/automatic_syntax_error_recovery.html
это синтаксические, сначала же лексические ещё))
AT
это синтаксические, сначала же лексические ещё))
Поскольку на уровне лексического анализа нет структуры, то нет и вразумительной информации. Так что лексическая ошибка, по факту, бывает одна: прочитанная последовательность символов не является лексемой. Дальше либо падать, либо завернуть в лексему UNKNOWN и отдать н откуп парсеру.
dt
Поскольку на уровне лексического анализа нет структуры, то нет и вразумительной информации. Так что лексическая ошибка, по факту, бывает одна: прочитанная последовательность символов не является лексемой. Дальше либо падать, либо завернуть в лексему UNKNOWN и отдать н откуп парсеру.
На этом уровне тоже есть "структура". К примеру, строка начинается на
" и заканчивается на ". Или число начинается на необязательный знак, далее идет цифра, потом идет точка, потом цифра, потом экспонента начинающиеся на e, и так далее.AT
На этом уровне тоже есть "структура". К примеру, строка начинается на
" и заканчивается на ". Или число начинается на необязательный знак, далее идет цифра, потом идет точка, потом цифра, потом экспонента начинающиеся на e, и так далее.No shit! Tell me more about that! 🍿😁
K
Руки чешутся сделать лексер, умеющий во вложенные комментарии через тот же самый LR
AT
Руки чешутся сделать лексер, умеющий во вложенные комментарии через тот же самый LR
What about string templates and HEREDOC? 😁
A
What about string templates and HEREDOC? 😁
<<SQL , ещё, ага