AT
вообще, было бы круто, если бы были какие-то открытые презентации и/или курс по фронтам
Начинайте читать статьи с конференций лучше.
Size: a a a
2020 December 29
SG
да я сам алгоритм с трудом понимаю
Какой уровень понимания есть и какого хочется достичь? А то вот тут есть пример с картинками, поясняющий базовые идеи. https://github.com/YaccConstructor/articles/blob/master/InProgress/Formal_langs_CFPQ_course_notes/Formal_lang_CFPQ_course_notes.pdf Искать Пример 10.2.1 Реализовывать, понятно, так не надо. Как реализовывать, это, соглашусь с @GabrielFallen , лучше сразу статьи читать. Благо их уже много разных. Там и вариаций алгоритма вагон.
IP
Semyon Grigorev
Какой уровень понимания есть и какого хочется достичь? А то вот тут есть пример с картинками, поясняющий базовые идеи. https://github.com/YaccConstructor/articles/blob/master/InProgress/Formal_langs_CFPQ_course_notes/Formal_lang_CFPQ_course_notes.pdf Искать Пример 10.2.1 Реализовывать, понятно, так не надо. Как реализовывать, это, соглашусь с @GabrielFallen , лучше сразу статьи читать. Благо их уже много разных. Там и вариаций алгоритма вагон.
я понимаю только то, что это lr с поиском в ширину где-то
PS
окей, а есть ли реальные компиляторы, которые так парсят?
Мне кажется, проблемы с поиском у Вас могли возникнуть в связи с тем, что GLR-парсер придуман был не для компиляторов и языков программирования, а для разбора естественных языков.
За пределами этой области тяжеловесные GLR/GLL чаще всего используют для прототипирования ЯП, а также для реинжиниринга ПО (DMS, Rascal и другие).
За пределами этой области тяжеловесные GLR/GLL чаще всего используют для прототипирования ЯП, а также для реинжиниринга ПО (DMS, Rascal и другие).
LA
Как через LLVM API задекларировать vararg функцию? Это вообще возможно?
BD
Как через LLVM API задекларировать vararg функцию? Это вообще возможно?
clang же это как-то делает, посмотри там
BD
в kaleidoscope вроде тоже был пример
LA
в kaleidoscope вроде тоже был пример
Да нет вроде бы. Не нашёл как-то
BD
Да нет вроде бы. Не нашёл как-то
может погрепать по
VAArgExpr?IP
Мне кажется, проблемы с поиском у Вас могли возникнуть в связи с тем, что GLR-парсер придуман был не для компиляторов и языков программирования, а для разбора естественных языков.
За пределами этой области тяжеловесные GLR/GLL чаще всего используют для прототипирования ЯП, а также для реинжиниринга ПО (DMS, Rascal и другие).
За пределами этой области тяжеловесные GLR/GLL чаще всего используют для прототипирования ЯП, а также для реинжиниринга ПО (DMS, Rascal и другие).
а, серьезно?
IP
просто я хотел разобрать максимально полный набор технологий парсинга, чтобы иметь кругозор
PS
Semyon Grigorev
Какой уровень понимания есть и какого хочется достичь? А то вот тут есть пример с картинками, поясняющий базовые идеи. https://github.com/YaccConstructor/articles/blob/master/InProgress/Formal_langs_CFPQ_course_notes/Formal_lang_CFPQ_course_notes.pdf Искать Пример 10.2.1 Реализовывать, понятно, так не надо. Как реализовывать, это, соглашусь с @GabrielFallen , лучше сразу статьи читать. Благо их уже много разных. Там и вариаций алгоритма вагон.
Интересный курс, спасибо! Не возражаете, если я добавлю ссылку в наш раздел по по учебным курсам на github? :)
SG
Интересный курс, спасибо! Не возражаете, если я добавлю ссылку в наш раздел по по учебным курсам на github? :)
Спасибо. Не возражаю. Только обратите внимание, что текст в разработке и там есть как очевидные дыры, так и скрытые неточности.
PS
Semyon Grigorev
Спасибо. Не возражаю. Только обратите внимание, что текст в разработке и там есть как очевидные дыры, так и скрытые неточности.
Неточности это понятно, ведь задачи очень амбициозные, тематика широкая и передовая. На русском языке, кажется, на такого рода изложение еще никто не замахивался.
LA
может погрепать по
VAArgExpr?Теперь я нашёл много чего, но всё не то :)
LA
Что ж, если кого-то интересует: https://laratelli.com/posts/2020/06/generating-calls-to-printf-from-llvm-ir/
2020 December 30
M
Стоп, а описанный здесь SGLR является подмножеством GLR?
Скорей над
M
Scanless подразумевает встроенную контекстуальность, и не гарантируется что генератор будет использовать классическую двух этапную модель, в теории он вполне может генерировать все это одним автоматом или как то ещё
M
окей, а есть ли реальные компиляторы, которые так парсят?
Ну такое не сложно написать
M
Главное там что все что способно парсить ambiguous порождает лес. Если ввести ambiguous GLR c++ там вывалится в первых ссылках стак где первый ответ от чела команда которого пилила такую тулзу