K
Я думаю, можно написать Потье :)
Size: a a a
2020 May 27
PS
Меня эта штука, на самом деле, раздражает. Я всегда считал, что отсутствие правил высшего порядка — фундаментальный недостаток генераторов парсеров. А, оказывается, сделали и такое. Теперь придется писать на эту тему более осторожно :)
K
У нас на факультете делали Yacc Constructor — там вроде тоже есть правила высшего порядка
PS
Оно, в принципе, достаточно легко делается в виде макрогенератора. Но у комбинаторов парсеров свободы действий, все же, больше.
KR
а там еще какие то есть? :)
Ocamlyacc
МБ
У нас на факультете делали Yacc Constructor — там вроде тоже есть правила высшего порядка
А кратко можно пояснить, в чём фишка этих правил?
K
А кратко можно пояснить, в чём фишка этих правил?
Ну модно написать своё правило "список чего-то разделенный запятыми" только 1 раз
K
Так же как и с функциями высшего порядка
AT
Ocamlyacc
Deprecated. 😊
VK
Ну модно написать своё правило "список чего-то разделенный запятыми" только 1 раз
сколько лет я раздражался, когда писал эти самые списки. Удивительно, что мне даже не приходило сделать такие своего рода генерики для правил в генераторах...
K
Нууу, большинство прогрессивных идей приходят из мира функциональщины, имхо. Так что надо больше заниматься ею
PS
Для знакомства с этими прогрессивными идеями достаточно прочесть SICP :)
K
Для знакомства с этими прогрессивными идеями достаточно прочесть SICP :)
по-моему menhir тайпчекает ещё правила. Или нет?
PS
по-моему menhir тайпчекает ещё правила. Или нет?
Мне кажется, нет. Это обычный макрос. Проверяется уже после подстановки, обычным образом.
K
Мне кажется, нет. Это обычный макрос. Проверяется уже после подстановки, обычным образом.
Ну, может я погорячился
GK
Ну, может я погорячился
Хм, а как он тогда определяет ошибки типизации в .mly-файлах, до генерации исходника парсера?
Например:
Например:
M
Насчет peephole оптимизации. Я смотрю для булевого контекста почему то ни LLVM ни GCC не делаю преобразования bool(x != -1) в bool(x ^ -1)
Никто не знает почему?
Никто не знает почему?
E
Хм, а как он тогда определяет ошибки типизации в .mly-файлах, до генерации исходника парсера?
Например:
Например:
навреное, он пытается сгенеировать текст по этому макросу, и что-то неправильное в результате получается
M
MaxGraey
Насчет peephole оптимизации. Я смотрю для булевого контекста почему то ни LLVM ни GCC не делаю преобразования bool(x != -1) в bool(x ^ -1)
Никто не знает почему?
Никто не знает почему?
И даже наоборот x ^ -1 превращает (канонизирует?) в x != -1
https://godbolt.org/z/G6wyEd
https://godbolt.org/z/G6wyEd
