JS
Но не в XHTML? И не уверен насчёт HTML5... 🤔
HTML5 — просто версия HTML, который должен успешно парсить любой набор байтов
Size: a a a
2021 February 26
AT
Восстановление - это про LALR. Насчёт готовых комбинаторов я не уверен.
Да Тратт и к LR недавно прикрутил. 😉
AT
Так а как с комбинаторами восстанавливаться?
Руками писать откат и пропуск до известного токена...
K
В парсере пюрескрипта где-то между 0.11 и 0.13 переехали с Parsec на Happy. Не удивлюсь, если из-за этого.
Не, это они потому что комбинаторы, будучи recursive descent, не могут в левую рекурсию - в отличие от recursive ascent (yacc, LR in general). Happy/Alex - это генераторы GLR-парсеров подъёма.
JS
кажется, классическая тактика — не пропускать токены, а вставлять недостающие до выхода на уровень выше
K
кажется, классическая тактика — не пропускать токены, а вставлять недостающие до выхода на уровень выше
Если пропускать - то программа когда-нибудь точно закончится. А если неаккуратно добавлять, то не факт
Y
кажется, классическая тактика — не пропускать токены, а вставлять недостающие до выхода на уровень выше
А если там не пропущенный, а наоборот лишний?
AT
Не, это они потому что комбинаторы, будучи recursive descent, не могут в левую рекурсию - в отличие от recursive ascent (yacc, LR in general). Happy/Alex - это генераторы GLR-парсеров подъёма.
Даже GLR? С parse forest?
JS
Если пропускать - то программа когда-нибудь точно закончится. А если неаккуратно добавлять, то не факт
количество уровней выше по стэку тоже конечное, и обычно довольно малое
JS
А если там не пропущенный, а наоборот лишний?
появятся дурацкие сообщения, как в Паскале и GCC
K
Даже GLR? С parse forest?
GLR-то как раз может, естессно
AT
GLR-то как раз может, естессно
Я переспрашивал, что именно GLR генерируют? 😊
K
Я переспрашивал, что именно GLR генерируют? 😊
Парсер оно генерирует
AT
Парсер оно генерирует
LOL, сломанный телефон получился, извините. 😂
Y
Не, это они потому что комбинаторы, будучи recursive descent, не могут в левую рекурсию - в отличие от recursive ascent (yacc, LR in general). Happy/Alex - это генераторы GLR-парсеров подъёма.
Но если они столько лет жили с парсеком, как-то ведь научились обходить эту левую рекурсию, и чего тогда вдруг всё переделывать?