Телеграмм чат группы compilerdev страница 2275

Я делал распечатку, чтобы оно походило на нотацию в драгонбуке и было разноцветным, чтобы быстро вычленять текст

19:09пожаловаться #1

Я вот кстати, так до конца с LR не разобрался. Понимаю логику алгоритма, но никогда не писал и не работал с LR.
И мне вот интересно — в issue'сах раста я видел, что им приходится в парсер добавлять LR, так как LL не справляется, но я так и не понял что за синтаксис ломает парсер. Кто-нибудь знает?
просто возможно я пропускаю какие-то кейсы, которые, как мне кажется, я могу LL спарсить, а окажется, что нет

19:11пожаловаться #2

LL не может в правила вида Add -> Add + Mult

19:12пожаловаться #3

left-corner можно же? но без красивых резолюций

19:13пожаловаться #4

Можно, если руками делать подъём вместо спуска

19:15пожаловаться #5

ну да. наверное это LR

19:16пожаловаться #6

меня сложно наверное будет заставить написать LL парсер без left-corner. Очень уж удобная вещь

19:16пожаловаться #7

The second set of positions will produce Reduce-s. For each terminal (for instance, "+") that is in the lookahead set of the rule of that position, we generate:

haskell
{ currentState =>
  { "+" =>
    Reduce (Factor "*" Term . { mkR })
  }
}

Если так написать - лучше?

19:17пожаловаться #8

А, я понял, в чём проблема. Я в GOTO ещё отпиливаю лишнее от FOLLOW(R).

19:20пожаловаться #9

Andrey in Compiler Development

Вот этого не хватает, да. И ещё из статьи непонятно, откуда появляются два состояния с одним ядром

20:14пожаловаться #10

2021 June 04

А ядро - это что? А то у меня терминология наполовину с драгонбука, наполовину самопальная

00:54пожаловаться #11

fldlg2 in Compiler Development

[здесь была картинка-баян про области определения LL и LR]

Если под "LL комбинаторами" имеется в виду PEG, то это другая история.

09:41пожаловаться #12

Kakadu in Compiler Development

Имеется в виду parsec-подобное. И там действительно другая история

09:42пожаловаться #13

Вот именно против parsec-а-то я и бугурчу.

[BRM]White Rabbit in Compiler Development

11:47пожаловаться #14

[

Парсек уже написан, этим он хорош

11:49пожаловаться #15

Неоднократно приходилось извращаться, чтобы выразить грамматику вида Expr -> Expr Term для вызова функций, и однажды пришлось отлаживать чей-то парсер, который разбирал кортежи за O(exp(N))

11:50пожаловаться #16

Kakadu in Compiler Development

Это Ваше личное мнение, некоторые ФП считают извращением.

Но все это не повод не упоминать в статье про LR, что некоторые видят соответствующие преимущества и недостатки у противоположного подхода

11:52пожаловаться #17

Хорошо, добавлю.

11:53пожаловаться #18

K R in Compiler Development

Может это и нормально? Леруа неоднократно писал, что в компиляторе Камла много N^2 алгоритмов. Просто в обычных программах этого достаточно.

17:02пожаловаться #19

Val Krylov in Compiler Development

Экспонента в парсере - как-то нетрадиционно, обычно эти грабли в вывод типов кладут.