I
Бля почему по peg-парсерам гуглятся статья Гвидо 😒
Потому что этот мегамозг только пару лет назад с ними познакомился. До этого был LL(1).
Size: a a a
2021 February 12
I
Так, и почему у тебя здесь будет копипаст?
У тебя, грубо говоря, должна быть функция grammar(string), которая вызывает у себя внутри себя функции из массива rules[<rule-name>](results_of_subrules_application). Проблема в том, что когда ты компилируешь grammar, тебе не известны типы, которые возвращают rules.
(
У тебя, грубо говоря, должна быть функция grammar(string), которая вызывает у себя внутри себя функции из массива rules[<rule-name>](results_of_subrules_application). Проблема в том, что когда ты компилируешь grammar, тебе не известны типы, которые возвращают rules.
И почему тебе не известны типы, которые возвращают rules?
I
И почему тебе не известны типы, которые возвращают rules?
Потому что хочется переиспользовать грамматику под каждый новый набор правил. Скобка, заебал тупить.
(
Потому что хочется переиспользовать грамматику под каждый новый набор правил. Скобка, заебал тупить.
Что значит переиспользовать грамматику под каждый новый набор правил? Грамматика же и есть набор правил
Ильмир, заебал непонятно писать.
Ильмир, заебал непонятно писать.
I
Что значит переиспользовать грамматику под каждый новый набор правил? Грамматика же и есть набор правил
Ильмир, заебал непонятно писать.
Ильмир, заебал непонятно писать.
Читай
grammar Calculator {
token TOP { <calc-op> }
proto rule calc-op {*}
rule calc-op:sym<add> { <num> '+' <num> }
rule calc-op:sym<sub> { <num> '-' <num> }
token num { \d+ }
}
class Calculations {
method TOP ($/) { make $<calc-op>.made; }
method calc-op:sym<add> ($/) { make [+] $<num>; }
method calc-op:sym<sub> ($/) { make [-] $<num>; }
}(
Читай
grammar Calculator {
token TOP { <calc-op> }
proto rule calc-op {*}
rule calc-op:sym<add> { <num> '+' <num> }
rule calc-op:sym<sub> { <num> '-' <num> }
token num { \d+ }
}
class Calculations {
method TOP ($/) { make $<calc-op>.made; }
method calc-op:sym<add> ($/) { make [+] $<num>; }
method calc-op:sym<sub> ($/) { make [-] $<num>; }
}Ну, так и шо? Грамматика универсально квантифицирована по целевому языку, как и в твоем примере на котлине
I
Ну, так и шо? Грамматика универсально квантифицирована по целевому языку, как и в твоем примере на котлине
У тебя, грубо говоря, должна быть функция grammar(string), которая вызывает у себя внутри себя функции из массива rules[<rule-name>](results_of_subrules_application). Проблема в том, что когда ты компилируешь grammar, тебе не известны типы, которые возвращают rules.
(
ля
(
У тебя, грубо говоря, должна быть функция grammar(string), которая вызывает у себя внутри себя функции из массива rules[<rule-name>](results_of_subrules_application). Проблема в том, что когда ты компилируешь grammar, тебе не известны типы, которые возвращают rules.
Универсальная квантификация как бы и нужна для того, когда ты не знаешь, с чем работаешь
(
Проблема-то в чем?
I
Посмотрел: Концовка доклада явно показывается почему пытаться совмещать ООП и ФП это плохая идея 😏
I
Проблема-то в чем?
В том, что ты заставляешь юзера писать все эти forall и тп в грамматике, когда компилятор может вывести эти типы, если отложить компиляцию грамматики. Да ты садист!
(
В том, что ты заставляешь юзера писать все эти forall и тп в грамматике, когда компилятор может вывести эти типы, если отложить компиляцию грамматики. Да ты садист!
ну да, типы ставятся в месте использования, так стат-тайпинг и работает
(
А что поделать
I
А что поделать
отложить компиляцию грамматики
D
Что такое компиляция грамматики?
I
Что такое компиляция грамматики?
У тебя, грубо говоря, должна быть функция grammar(string), которая вызывает у себя внутри себя функции из массива rules[<rule-name>](results_of_subrules_application). Проблема в том, что когда ты компилируешь grammar, тебе не известны типы, которые возвращают rules.
D
Ну то есть надо же распарсить ключевые слова, построить аст, а потом уже компилировать его, оптимизируя и преобращуя в другой код. Какой из этих стапов называется компиляцией грамматики?
D
Аха, речь про компиляцию компилятора?