IP
В https://github.com/YaccConstructor/YaccConstructor есть, но насчёт "простые и читаемые" не уверен — вопрос спорный.
Size: a a a
2020 December 29
SG
В https://github.com/YaccConstructor/YaccConstructor есть, но насчёт "простые и читаемые" не уверен — вопрос спорный.
Ух... Вообще, я когда-то пытался сделать референсную в образовательных целях. Ща посмотрю, выжила ли она.
SG
Мда. Оно всё покрылось разными экспериментальными наслоениями. Для изучения я бы такое читать не рекомендовал.
IP
окей, а есть ли реальные компиляторы, которые так парсят?
IP
ну потому что ll и lr работают достаточно очевидны, их я могу просто взять и написать
IP
а glr - это что-то нестандартное-неясное
SG
окей, а есть ли реальные компиляторы, которые так парсят?
Смотря что считать реальными. SDF3, например, использует: http://www.metaborg.org/en/latest/source/langdev/meta/lang/sdf3/introduction.html "The most important of the artifacts generated from SDF3 is a parse table, which is used by the Scannerless Generalized LR parser to parse programs, producing an abstract syntax tree (AST)." А это часть Spoofax, который достаточно известен в определённых кругах.
VS
Semyon Grigorev
Смотря что считать реальными. SDF3, например, использует: http://www.metaborg.org/en/latest/source/langdev/meta/lang/sdf3/introduction.html "The most important of the artifacts generated from SDF3 is a parse table, which is used by the Scannerless Generalized LR parser to parse programs, producing an abstract syntax tree (AST)." А это часть Spoofax, который достаточно известен в определённых кругах.
Стоп, а описанный здесь SGLR является подмножеством GLR?
VS
А то что-то подзабыл
AT
Semyon Grigorev
Смотря что считать реальными. SDF3, например, использует: http://www.metaborg.org/en/latest/source/langdev/meta/lang/sdf3/introduction.html "The most important of the artifacts generated from SDF3 is a parse table, which is used by the Scannerless Generalized LR parser to parse programs, producing an abstract syntax tree (AST)." А это часть Spoofax, который достаточно известен в определённых кругах.
К "реальности" Spoofax можно добавить, что на нём написан WebDSL, на котором написано как минимум 3 веб-приложения, которые крутятся в проде. Одно из них даже сравнительно нагруженное время от времени. 😊
SG
Стоп, а описанный здесь SGLR является подмножеством GLR?
Эм.... Что есть отношение вложенности в данном случае? Безлексерность (S в SGLR) —- это относительно отдельное свойство, кмк.
VS
Semyon Grigorev
Эм.... Что есть отношение вложенности в данном случае? Безлексерность (S в SGLR) —- это относительно отдельное свойство, кмк.
Окей, понял. Про вложенность я фигню сморозил.
IP
Semyon Grigorev
Смотря что считать реальными. SDF3, например, использует: http://www.metaborg.org/en/latest/source/langdev/meta/lang/sdf3/introduction.html "The most important of the artifacts generated from SDF3 is a parse table, which is used by the Scannerless Generalized LR parser to parse programs, producing an abstract syntax tree (AST)." А это часть Spoofax, который достаточно известен в определённых кругах.
попробую разобраться
SG
GLR только первый раз больно, потом привыкаешь)
IP
Semyon Grigorev
GLR только первый раз больно, потом привыкаешь)
да я сам алгоритм с трудом понимаю
IP
поэтому и ищу примеры
AT
да я сам алгоритм с трудом понимаю
Помню, вот это была очень внятная презентация. Забыл, где её нашёл. Там, правда, про GLL, но, может, тоже поможет?
IP
вообще, было бы круто, если бы были какие-то открытые презентации и/или курс по фронтам
IP
а до универа мне еще дожить надо