У меня есть есть подозрение, что С++ и многие другие грамматики на LR(1) вообще никак.

Преимущество LR(1) над там же packrat, который может в наверное почти любые CFG (и даже леворекурсивные, с определёнными хаками) грамматики в том, что в LR(1) конфликты надо разрешать явно, а пакрат/PEG делают это автоматически. И то, что тебя LR заставит разруливать сразу, в пакрате вылезет потом.

В LR(1) "разрешение конфликтов" выглядит так: если в одном и том же верхнем состоянии (наборе продукций) появляется несколько действий на 1 токен, и они отличаются только lookahead'ом (Reduce (A -> a B c . / {e d} & Reduce (A -> a B c . / {f e} при следующем символе e), то мы их мержим (Reduce (A -> a B c . / {e d f}), иначе это конфликт.

Судя по всему, LR(1) является наибольшим формализмом для описания однозначных грамматик. Если у тебя вылез конфликт, то это потому, что информации в грамматике не хватило на однозначное решение.

Если мыслить в рамках генеративного подхода, то конечно, грамматика это не грамматика, и ничего невозможно.

а что DCG-грамматики никто не вспоминает — слишком сложно/ресурсоёмко в реализации?

Нельзя просто говорить, вот у нас очень хорошая теория, а вы все быдло и не смогли. В реальности так и выходит что resolve rules фигачатся, на языке таргета, дак еше и без генератора, зато нативно

Но таково определение грамматик! А иначе тут просто происходит подмена терминов, и не более того. :(
По-моему, @true_grue как-то давал хорошую ссылку про это... надо поискать.

Не знаю, помойму везде recursive descent parser и это не нормально

Ну это во многом вопрос вкуса. Бывает хороший вкус, а бывают генеративные грамматики.

RDP просто можно на коленке сделать, а LR сложнее

Не знаю, помойму везде recursive descent parser и это не нормально

Дак может в этом и проблема, никому не нужна теория работающая в гиперпространстве

Дак это те же парсеркомбинаторы

мне показалось что они как-то связаны со смесью парсер-комбинаторов и  pattern matching в параметрах полиморфных функций эликсира

Еще раз алгоритм не важен, он может быть любой, но если нельзя по человечески разрешить ambiguose это все не очень, а касательно монад и тд Сомневаюсь что там сказанно используйте, и вот гарантируем вам время разбора